1  /* { dg-do compile } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  int a[4];
       5  void fn1()
       6  {
       7    __UINT64_TYPE__ b = 7818038963515661296;
       8    for (;; b++)
       9      a[0xA699ECD2C348A3A0] = a[b];
      10  }