1234567891011121314151617 |
- #include <stdio.h>
- #include <stdlib.h>
- #include <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;
- }
|