6.13.4 Указатели на массивы с квалификаторами работают ожидаемым образом

В GNU C указатели на массивы с квалификаторами работают так же, как указатели на другие типы с квалификаторами. Например, значение типа int (*)[5] можно использовать для инициализации переменной типа const int (*)[5]. Эти типы несовместимы в ISO C, поскольку квалификатор const формально относится к типу элементов массива, а не к самому массиву.

extern void
transpose (int N, int M, double out[M][N], const double in[N][M]);
double x[3][2];
double y[2][3];
…
transpose(3, 2, y, x);