#include <stdio.h> | |
#include <stdlib.h> | |
#include <bfd_stdint.h> | |
extern char bss_in_mbind0; | |
extern char data_in_mbind3; | |
int | |
main (void) | |
{ | |
if (((intptr_t) &bss_in_mbind0 & (0x4000 - 1)) != 0) | |
abort (); | |
if (((intptr_t) &data_in_mbind3 & (0x4000 - 1)) != 0) | |
abort (); | |
printf ("PASS\n"); | |
return 0; | |
} |