blob: cb791dd56f77f8110bfe1c09ab4e828c5ccfc54b [file] [log] [blame]
#include <stdio.h>
#include <bfd_stdint.h>
extern uintptr_t *get_bar (void);
int
main ()
{
if ((uintptr_t) get_bar () == 0xfffffff0ULL)
printf ("PASS\n");
return 0;
}