A sufficiently advanced compiler is indistinguishable from an adversary.

— John Regehr, Finding Undefined Behavior Bugs by Finding Dead Code

Great quote, and an extremely interesting paper from MIT on compiler optimizations revealing unsafe code.