Ты хочешь сказать, что программа из well-defined может превратиться в ill-formed от простого изменения уровня оптимизации? Ты с головой дружишь вообще?