1 /* PR tree-optimization/97888 */
2 
3 __attribute__((noipa)) void
foo(int i)4 foo (int i)
5 {
6   if ((i % 7) >= 0)
7     {
8       if (i >= 0)
9         __builtin_abort ();
10     }
11 }
12 
13 int
main()14 main ()
15 {
16   foo (-7);
17   foo (-21);
18   return 0;
19 }
20