Commit | Line | Data |
---|---|---|
382aae06 | 1 | #include <stdio.h> |
3dfb1b6d | 2 | #include <stdint.h> |
382aae06 L |
3 | |
4 | extern uintptr_t *get_bar (void); | |
5 | ||
6 | int | |
7 | main () | |
8 | { | |
9 | if ((uintptr_t) get_bar () == 0xffffffffffffff0ULL) | |
10 | printf ("PASS\n"); | |
11 | return 0; | |
12 | } |