1 2 3 4 5 6 7 8 9 10 11 12
#include <stdio.h> #include <stdint.h> extern uintptr_t *get_bar (void); int main () { if ((uintptr_t) get_bar () == 0x7fffffffULL) printf ("PASS\n"); return 0; }