here we try to guess the value of a pointer -- LLVM says we cannot guess it and GCC suspects we canhttps://godbolt.org/g/SFLwz4
-
Show this thread
-
anyone know offhand whether C99 or C11 explicitly justifies LLVM's optimization?
8 replies 0 retweets 0 likesShow this thread -
Replying to @johnregehr
Google “pointer provenance” and you should find plenty of discussion in the form of DRs and proposals
3 replies 0 retweets 3 likes -
Replying to @volatile_void @johnregehr
Tldr: compilers already assume that a pointer can only point to malloc(…) if it is computed from it, let's try to put this into words
2 replies 0 retweets 0 likes
Replying to @volatile_void @johnregehr
That's arguably valid. But claiming the same applies to integers contrary to mathematical fact and consequences of RoT is nonsense.
7:08 PM - 1 Nov 2017
0 replies
0 retweets
0 likes
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.