This idiocy "if two have distinct single provenance, the result has empty provenance" invalidates real code w/no althttps://twitter.com/bmastenbrook/status/725048588053655554 …
-
-
Replying to @RichFelker
As a particular example, it seems to make it impossible to implement https://en.wikipedia.org/wiki/XOR_linked_list …
2 replies 0 retweets 1 like -
Replying to @RichFelker
@RichFelker Another case is a swap of pointers via xors. But are you sure this is an example of real code?1 reply 0 retweets 0 likes -
Replying to @RichFelker
@ch3root In-place algorithms on data structures where you only have one modifiable pointer-size slot.3 replies 0 retweets 0 likes -
Replying to @RichFelker
@RichFelker compilers could simply disallow casts between ptr and integer if the CPU does not support it anyway1 reply 0 retweets 0 likes -
Replying to @RichFelker
@RichFelker oh I did not know that. So it is already as I said. The cast to uintptr_t does not compile because it does not exist.1 reply 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.