1  /* { dg-do run } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  int var_2 = -2013646301;
       5  int var_3 = -1126567434;
       6  unsigned int var_12 = 1;
       7  unsigned int var_19;
       8  unsigned int arr_25 [24] [21] [15] [17] [15] ;
       9  
      10  void __attribute__((noipa)) test()
      11  {
      12    for (int a = 0; a < 3; a = 42)
      13      for (int b = 0; b < 20; b++)
      14        for (int c = 0; c < 4; c = 4)
      15          for (int d = 0; d < 6; d += 4)
      16            for (int e = 0; e < 4; e += 2) {
      17              arr_25[a][b][c][d][e] = var_2 || var_3;
      18              var_19 = var_12;
      19            }
      20  }
      21  
      22  int main()
      23  {
      24      test();
      25      if (var_19 != 1)
      26        __builtin_abort ();
      27      return 0;
      28  }