Then I think you're wrong. The behavior being undefined, or at least unspecified, is what gives you that choice.
Some UB is easy to detect and could be specified with a behavior. Most is costly or near-impossible.
-
-
yes, I readily admit that. my point was specifically about UB enabling tools like ubsan *unlike defining behavior*
-
(which is something that @spun_off has talked about earlier)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.