Цитата(aaarrr @ Feb 10 2016, 08:38)

Остается убедить в этом компилятор

Нет, не должен, и AAPCS такого не требует.
С 8-битным массивом понятно - не должен. Но как быть со структурами данных? Неужели там тоже этого не требуется?
В принципе, я нашел как договорится с компилятором с помощью __attribute__(align(4)). Блин, но я тогда гвоздями прибью этот код к конкретному компилятору
И, опять же не понятно, почему для М3 компилятор данные выравнивает, а для М4 нет?