Многомерный массив занимает линейную память. Получая указатель на эту линейную память обращение к любому элементу не содержит UB в пределах N×M, включая элемент следующий за последним

Уже обсудили выше, что нет. Самый простой пруф - https://t.me/ProCxx/434779

Это где об этом написано?

Думаю, в таком случае, стоит перечитать весь диалог, с рассуждений на эту тему он и начался. Никто не спорит с тем, что массив расположен линейно. Однако, пользуясь тем, что арифметка указателей не определена за пределами (под)массива, компилятор теоритически мог бы делать некоторые эвристические оптимизации на основе знания о том, что некоторые строки (все, кроме первой) недостижимы из программы

этого тоже не написано

Это есть в определении массива

есть массив, есть многомерный массив - это не одно и тоже

В общем, я вижу ровно два случая (с нашим двухмерным массивом) либо декей до указателя, либо срез сокращением размерности. В первом случае компилятор не может делать никаких предположений о том что происходит - во втором, может смело выкинуть часть массива, но в коде ни что не пострадает, потому что в первом случае стандарт говорит a) существует кусок памяти, соответствующий всему массиву и б) существует указатель на первый элемент массива. Архитектура гарантирует,  что указатель может пройти по всей физически доступной памяти (и тут канонический отстрел ноги из C, но это другая история), во втором - стандарт говорит, что мы получим массив с размером равным втрой размерности и это его границы, выходить за них уже UB.

Дело в том, что декей двумерного массива интов не работает до указателя на инт. Только до указателя на массив интов. Это предел гарантий стандарта

Речь изначально шла о том, можно ли руками привести указатель к обычному T* и работать с ним как с одномерным массивом. В случае constexpr ручное приведение просто запрещено

Речь изначально шла о том, можно ли руками привести указатель к обычному T* и работать с ним как с одномерным массивом. В случае constexpr ручное приведение просто запрещено

Мне казалось, что гарантии размещения элементов многомерного массива подряд достаточно, но ....

Дело в том, что декей двумерного массива интов не работает до указателя на инт. Только до указателя на массив интов. Это предел гарантий стандарта

например потому, что если берется адрес массива, то кто-то может захотеть его использовать?

Я намеренно использовал слово "гарантированно". Так что, если адрес массива не берётся?

Нет там такого. Предел - указатель на первый элемент. Первый элемент первого массива в случае многомерных. И тут важным момент - указатель на сырую память, занимаемую всем массивом. Действуют правила C, а не C++, либо это указатель на первый массив. int arr[n][m]; void f(int *p, int n, int m); // Суровый мир C void f(int a[m]); // Срез размерности и вызов не f(arr[i]); порча памяти.

Если адрес не берется, то у нас нет исходной проблемы, она возникает только когда адрес берется