> Do you people want your programs to crash due to the compiler doing surprising things? I obviously can't speak for everyone who defends this sort of compiler

> Do you people want your programs to crash due to the compiler doing surprising things? I obviously can't speak for everyone who defends this sort of compiler behavior, but my preferred solution is for the compiler to continue performing these kinds of optimizations while also providing better static analysis and sanitizer tools to catch problems earlier, even if that involves extending or replacing the language to make that possible. Expecting everyone who writes C or C++ to do this kind of reasoning in their head and perform these optimizations manually (or drop their performance back toward -O0) just sounds like it would make things worse.