Hacker News Reader

Both statements don't need to be true. The compiler just has to prove that at least one of the statements will always be true.

True but it only has no side effects if it's well defined. The compiler can assume it's well defined but only if it's executed.