Здравствуйте, so5team, Вы писали:

S>Соответственно, как только внутри bar появляется const_cast, так у нас появляются и шансы нарваться на UB.

В данном сценарии то, что происходит внутри bar — это откровенный говнокод. Но при компиляции внешнего кода, который вызывает bar, компилятор видит, что, даже если подобный говнокод имеет место быть, то он не приведет к UB. Значит, компилятор обязан корректно обработать в т.ч. и этот сценарий.