softwarer Карабас Барабасвот и стандартописатели тоже поломали голову, поломали ... да и решили: "а пох, будет андефинид бехавиор,
Думаю, не совсем так. Думаю, этот андефинед бихавиор - прямое следствие того факта, что к моменту создания стандарта существовали популярные компиляторы, использовавшие как тот, так и иной вариант. Ну а дальше - известная песня "в целях совместимости и чтоб никого не обидеть".
...

Да, ну. Каждая новая версия кого-то обижает. Появляются новые версии компиляторов, которые подтачиваются под новые версии.

Да, и на самом деле, никто и обижаться не имеет права. Компиляторы пишуться под определеную версию стандарта.

blindedЭтот undefined behavor еще с С тянется.Что думаешь не могли ничего придумать?

ИМХО, оставили место для оптимизации.