1 /* { dg-do assemble } */
2 /* { dg-require-effective-target ptr32plus } */
3 
main()4 int main()
5 {
6     do {
7         long l;
8         long *p = &l;
9 
10         *p = 0x0000000070000000L;
11         p += 2;
12         {
13             unsigned int *addr = (unsigned int *)0x70000000;
14             printf("%d, %d\n", addr[1], addr[0]);
15         }
16 
17     } while (1);
18 }
19 
20