The PhD memoir “The C standard formalized in Coq” (Robbert Krebbers) arrived by post todaypic.twitter.com/88gEyZR01u
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@RichFelker @spun_off @ch3root Consider an implementation that implements (uintptr_t) casting in the following way:
@RichFelker @spun_off @ch3root
uintptr_t x = (uintptr_t)p; // x := 1
uintptr_t y = (uintptr_t)p; // y := 2, y != x.
@RichFelker @spun_off @ch3root however (void*)x == (void*)y, assuming that casting from uintptr_t to void* is just looking up ptr in array.
@RichFelker @spun_off @ch3root Also, (uintptr_t)NULL != 0 and (void*)(uintptr_t)0 isn't necessarily NULL.
@BRIAN_____ (void*)(uintptr_t)0 has to compare == to any other null pointer, because it is a null pointer. NULL is a null ptr—C99 6.3.2.3:4
@spun_off Only when `0` is in a pointer context. (uintptr_t)0 isn't a pointer context.
@BRIAN_____ But (uintptr_t)0 is 0, no?
@RichFelker @spun_off @ch3root 1. append address to an internal array. 2. return index into array. Then...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.