Yes! Can anyone give an example on modern CPUs where being "undefined" is actually critical to perf on portability?https://twitter.com/0xabad1dea/status/679005753252970497 …
@ID_AA_Carmack Defining the behavior of signed overflow eliminates the ability of automated tools to diagnose overflow errors.
-
-
@RichFelker@ID_AA_Carmack not really, you can still define the overflow by throwing an exception or setting an error flag -
@iontodirel@ID_AA_Carmack You missed the point: if the overflow behavior is defined, valid programs can use it; tools can't assume it's err -
@RichFelker@iontodirel I never considered that point of view; not sure what I think about it yet. Such tools certainly aren't everywhere.
End of conversation
New conversation -
-
-
@ID_AA_Carmack It's because unsigned arith has well-defined (modular arith) behavior that ubsan, valgrind, etc. can't catch size overflows.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@RichFelker@ID_AA_Carmack not an issue, those checks would have to be performed as source analysis instead of black-box observersThanks. 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.