Source? I think you remember it wrong: The compiler will only optimize the if away if you already potentially invoked UB. Like this: val = *ptr; // May be *

Source? I think you remember it wrong: The compiler will only optimize the if away if you already potentially invoked UB. Like this: val = *ptr; // May be *NULL if (*ptr != NULL) ...