Visual studio gives a Buffer overrun warning when overrun can't actually ever happen

Question

this is my code:

void foo(int num) {
    int* pArr = (int*)malloc(num * sizeof(int));
    // allocate array of \'sale\' structs for each region
    for (int i