the argument that without ub there would be no ubsan, and thus no bugs exposed by ubsan through ub
That's a useless degree of freedom. The "or [something sensible]" is insanely expensive just like the trap.
-
-
no, it isn't. it means that you get this particular benefit of UB (finding bugs) without having UB(which is the point)
-
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 -
-
-
Double free is fundamentally not detectable without never-reusing-addresses. No way to give sane behavior.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.