Intel C/C++ 12.0.4 generates wrong code and the assertion fails. Intel C/C++ 11 generates correct code.

test.c

#include <stdio.h>
#include <assert.h>

int c[4+3][3*2];

void f(int * const n, int * const m, int (**v)[*m * 2])
{
    assert(&(c[*n][*m]) == &((*v)[*n][*m]));
}

int main(int argc, char* argv[])
{
    int n = 4;
    int m = 3;
    int (*d)[3*2] = c;
    f(&n, &m, &d);

    return 0;
}