@spun_off Then all usual problems with singed overflow apply. Similar: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63303#c13 …
@spun_off @ch3root I don't follow. Those are all well-defined operations on integers.
-
-
@spun_off
@ch3root They don't have to produce results that convert back to meaningful pointers, but they do need to behave consistently. -
@RichFelker Yes, it's a trade-off, as@ch3root said. See it as a list of limitations if you want. -
@RichFelker Another way to look at it is that it's possible to guarantee that your code works independently of the memory layout only if… -
@RichFelker you voluntarily renounce these operations. If you do, we help you stay in line with your resolution. :) -
@RichFelker This said, Frama-C has this, but if it were enabled in tis-interpreter, execution paths would fork.pic.twitter.com/xq6AFC1Pao
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.