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

В 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);