Bruce Korb wrote:
Changing that presumption without multiple years of -Wall warnings is a Really, Really, Really Bad Idea.
I am still not ready to agree that this is a RRRBI for the case of loop invariants. We have not seen ONE imaginary example, let alone a real example, where the optimziation of loop invariants (by far the most important optimization in the class we are discussing) would break existing code.
