How far are compilers allowed to go with optimizations?
groups.google.com