blob: bc65c174d055f18334765909cd16f68de1079ec7 [file] [log] [blame]
#include <stdio.h>
#include <stdint.h>
extern uintptr_t bar;
uintptr_t *
__attribute__ ((noinline, noclone))
get_bar (void)
{
return &bar;
}
int
main ()
{
if ((uintptr_t) get_bar () == 42)
printf ("PASS\n");
return 0;
}