> Во всяком случае, санитизер триггерился на повреждение стека, но только когда данных
> было значительно больше необходимого. И сайдэффекты очень интересные проявлялись. Вроде
> бы я хотел передать массив из 2х чисел, выделенный на стеке,
> в функцию. Указателем на место в родительском стеке? И ещё нужно
> было поправить его немного. Т.е. повреждение происходило из-за действий компилятора, однако,
> я так и не смог найти описание происходящего в стандарте и
> не берусь этого утверждать, только шланг аналогично проглотил.

Согласно стандарту, массив передается в функцию в виде указателя на его первый элемент (&arr[0]).
Вот из стандарта:
Постфикс-выражение, за которым следует выражение в квадратных скобках [ ], яв-
ляется индексным обозначением элемента объекта массива.
Определение оператора индекса [] заключается в том, что конструкция E1[E2]
идентична конструкции (*((E1)+(E2))).
Из вышеуказанного следует, что в языке С массивов как таковых нету.
Имя E1 обозначает не сам массив, а указатель на начальный элемент массива.
Из правил преобразования, которые применяются к бинарному оператору + в слу-
чае, если E1 является массивом (указателем на начальный элемент массива), а E2 яв-
ляется целым числом, E1[E2] обозначает E2-й элемент массива Е1, считая с нуля.

Гениально!!!