1  /* { dg-do run } */
       2  /* { dg-options "-fstrict-overflow" } */
       3  
       4  extern void abort (void);
       5  int foo (int i, int j, int o, int m) { return i*o + 1 + j*m > 1; }
       6  int main()
       7  {
       8    if (foo (- __INT_MAX__ - 1, -1, 1, 1))
       9      abort ();
      10    return 0;
      11  }