> Мало ли что формально разрешено. Скажем, в месте с undefined behavior формально
> можно вставить всё, что угодно, включая вызов "rm -rf $HOME". Однако,
> если не быть идиотом, понятно, что компилятор должен обрабатывать это максимально
> безопасно.

Хочется такой безопасности и вождения за ручку — не надо называть себя программистами на C и писать на сях.

> Это только в глубоком детстве кажется, что "вот мы напишем правила, и
> всё будет зашибись". Нет, люди нарушают правила, правила не учитывают все
> возможные ситуации и т.д. Поэтому есть такое понятие "культура". Вот у
> создателей компиляторов промышленных языков с 50-ти летним багажом должна быть определённая
> культура поддержания совместимости.

Культура есть. Флаг -std никто не отменял. Авторы проекта всё-таки, наверное, лучше компилятора знают, с каким стандартом у них кодовая база написана? И -std=c89 лично мне sane default'ом не кажется, например.