1/* { dg-do assemble } */
2/* { dg-require-effective-target ptr32plus } */
3
4int 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