Yes! This is exactly the point.
It is undefined, so given that, it could do what the other branch does, so you can safely remove that branch.
you get it, but a lot of other people don't understand just how undefined, undefined code is.
you get it, but a lot of other people don't understand just how undefined, undefined code is.
But let me put it this way. If you only had the misbehaving_code(); line by itself, the compiler would rightly be called crazy and malicious if it compiled that to delete_data();
So maybe it's not reasonable to treat both branches as having the same behavior, even if you can.