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