On Wednesday, 30 July 2014 at 14:11:24 UTC, Daniel Murphy wrote:
If used wrong it will do the wrong thing. This is already true of compiler optimizations. The optimizer may turn invalid code into security problems - have a google around and you'll find some examples.
I think the point here is that usually, when the optimiser changes the semantics of valid code, it's considered a bug in the optimiser.
-Wyatt