Отдельно от поста добавлю:

Frontend также полагается на нормы языка программирования и его правила и использует их в целях оптимизации. Такой простор для оптимизаций на языке стандарта C++ называется Undefined Behaviour aka UB. На основе этих правил компилятор имеет право не учитывать крайние ситуации, и полагается на определение "Программист умный и никогда не напишет нерабочий код"