4 ms·
If you impose that the unhappy path must trap, the compiler has to guarantee that. Conversely, if the compiler can reason that the condition is impossible, it
by mike_hock 5y ago
If you impose that the unhappy path must trap, the compiler has to guarantee that.
Conversely, if the compiler can reason that the condition is impossible, it can remove code regardless of what behavior is imposed for the condition that it knows can't happen.