-
-
@RichFelker Here—line 6: http://git.musl-libc.org/cgit/musl/tree/src/stdio/__toread.c#n6 … as reached from wcstoll(). -
@RichFelker @spun_off Judging by commit message, "NULL > ptr" is replaced by "NULL > NULL" which is still UB, right? -
@ch3root @spun_off I assumed relational operators were well-defined with both operands null, but maybe they're not? -
@ch3root @spun_off It looks like subtraction of null pointers from each other might also be gratuitously undefined. :-( -
@ch3root @spun_off Together these leave a lot of real-world programs wit "gratuitous UB" that's hard to fix. -
@ch3root @spun_off You would expect (a||b)?a-b:0 or a==b?0:a-b to yield "a-b without UB" but gcc & llvm fail to collapse the branch. :-( -
@RichFelker @spun_off FTR I think "NULL > NULL" is better than "NULL > ptr", even if still UB. - 3 more replies
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.