@spun_off @ch3root There is no license for i==j to evaluate inconsistently when UB was not invoked.
@ch3root @spun_off I'm confused what you're asking. DR 260 is not even about aliasing but indeterminate value wackiness.
-
-
@RichFelker @spun_off There are several issues in DR 260. And I think it was wrong to mix them. -
@RichFelker @spun_off The part of DR 260 regarding instability of indet values seems to be more or less overrridden by DR 451. -
@RichFelker @spun_off But for the part about pointer provenance DR 260 still seems to be the authoritative source. -
@RichFelker @spun_off "They may also treat pointers based on different origins as distinct even though they are bitwise identical." -
@ch3root @spun_off I'll accept that's valid for _pointers_. It's not valid for integers. -
@RichFelker @spun_off Yes, of course.
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.