> the compiler will rewrite your program in ways that do not follow from the meaning of the source code. It's not that, it's just that the source code has no m

> the compiler will rewrite your program in ways that do not follow from the meaning of the source code. It's not that, it's just that the source code has no meaning for a particular code path, so the compiler can do anything so that other code paths or conditions can be faster/more optimized. Just nitpicking.