@dalias If behavior is "undefined", define it to the most obvious thing and stick with it.
I want a -fdisable-stupid-optimizer for every instance where the plain meaning of the language and the behavior of GCC diverge. (Alas disabling the optimizer entirely loses the old "turbo C for dos did this" stuff like dead code elimination.)