That's not a hypothetical btw. The standardized behavior of Verilog $random (IEEE Std. 1364) relies on signed integer overflow.
If a standard document uses C code to describe std behavior, but that C code relies on UB, may an implementation do whatever they want?
-
-
-
All standards are buggy.
- Show replies
New conversation -
-
-
I’d say, yes. Bonus points for letting the FPGA explode when hitting that case.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
In C and C++ std documents notes and examples are non-normative so if they contradict normative text that is a mistake or a defect
-
You misunderstood my tweet. I am not talking about the C or C++ standard documents.
- Show replies
New conversation -
-
-
here's a crazy idea what if implementations were required to not piss the user off in UB cases
-
Maybe you shouldn't violate the standard by doing something undefined. It's justice... or at least eye-for-an-eye ;)
End of conversation
New conversation -
-
-
I'm gonna bite...what's an UB? Unsigned byte?
- 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.