1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -fsanitize=signed-integer-overflow" } */
       3  
       4  int a, b, c, h;
       5  
       6  int i[5][5];
       7  
       8  void
       9  fn1 ()
      10  {
      11    int l = 0;
      12  
      13    for (a = 0; a <= 3; a++)
      14      for (b = 1; b >= 0; b -= 1)
      15        l |= i[0][b];
      16    c = l;
      17  }