-funsafe-loop-optimizations

[Paul Schlie]

> From: Robert Dewar <dewar@adacore.com>
>> Paul Schlie wrote:
>> As I believe stated earlier, it would seem the compiler arguably has no
>> license to change semantics of the language;
> 
> That's not right, it merely has to have a mode in which it operates in
> a strictly standard manner. There
> is nothing in the C standard that prevents a compiler from having options
> for non-standard behavior.
> GNU C already has non-standard extensions, this would just be another case
> where, by setting certain options, you get non-standard behavior.

Don't necessarily disagree, but wouldn't it be preferable if the ambiguity
were explicitly removed in the code (or indirectly asserted as being desired
by it's remaining presence), rather than assuming by default otherwise?