1  #include <stdio.h>
       2  #include <stdint.h>
       3  
       4  extern uintptr_t bar;
       5  
       6  uintptr_t *
       7  __attribute__ ((noinline, noclone))
       8  get_bar (void)
       9  {
      10    return &bar;
      11  }
      12  
      13  int
      14  main ()
      15  {
      16    if ((uintptr_t) get_bar () == 42)
      17      printf ("PASS\n");
      18    return 0;
      19  }