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 I can't believe we still need to explain this stuff to otherwise brilliant ppl like yourself and @hashbreaker.
-
-
@RichFelker@hashbreaker I wouldn't argue races being UB, but having defined arithmetic semantics like Java is not a crazy thing to consider -
@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 -
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.