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