1  /* { dg-do compile } */
       2  /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow" } */
       3  
       4  /* From PR 31522.  */
       5  
       6  int f (int x) {
       7    int y;
       8    if (x <= 4) y = 1;
       9    else y = x / 4;
      10    return y <= 0;
      11  }