blob: 10922a1f046240a5752121f472ef04b3a4a3972a [file] [log] [blame]
#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;
}