blob: 59633a3b4dd9829177f75cca1b4ffa712d19900f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <stdio.h>
#include <bfd_stdint.h>
extern uintptr_t *get_bar (void);
int
main ()
{
if ((uintptr_t) get_bar () == 0xffffffffffffff0ULL)
printf ("PASS\n");
return 0;
}
|