-funsafe-loop-optimizations

[Robert Dewar]

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.