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