1 /* PR tree-optimization/64454 */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
3 
f(int a,int b)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 
g(int a,int b)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" } } */
19