Paul Schlie wrote:
As a compromise, I'd vote that no optimizations may alter program behavior in any way not explicitly diagnosed in each instance of their application.
Sounds reasonable, but it is impossible and impractical! And I think anyone familiar with compiler technology and optimization technology understands why this is the case.