pr25754-6a.c 180 B

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