gcc/testsuite/gcc.dg/tree-ssa/vrp97.c

   1 /* PR tree-optimization/64454 */
   2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   3
   4 int f(int a, int b)
   5 {
   6     if (a < -3 || a > 13) __builtin_unreachable();
   7     if (b < -6 || b > 9) __builtin_unreachable();
   8     int c = a % b;
   9     return c >= -3 && c <= 8;
  10 }
  11
  12 int g(int a, int b)
  13 {
  14   int c = a % b;
  15   return c != -__INT_MAX__ - 1;
  16 }
  17
  18 /* { dg-final { scan-tree-dump-times "return 1;" 2 "vrp1" } } */