applegame: Это не перевод. Автор просто несколько косноязычный. Перефразирую то, о чем был спор.
Что будет если мы изменим текущее поведение компилятора. И разрешим ему выполнять конкретную оптимизацию только в тех случаях когда компилятор способен доказать, что эта оптимизация никак не меняет результат работы программы по сравнению с неоптимизированной версией (ну кроме времени выполнения, конечно). Если компилятор не в состоянии это доказать, то он обязан не делать эту оптимизацию. Допустим если компилятор встретил чтение из неинициализированной переменной, то ему запрещено делать любые предположения, и предписывается реально читать результат из этой переменной.
Автор тезиса утверждает, что такой компилятор C/C++ вообще почти ничего не сможет оптимизировать.

https://forum.sources.ru/index.php?showtopic=421537&view=findpost&p=3848394