Hybrid EVRP and testcases
[gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / cmpexactdiv-3.c
1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-optimized-raw" } */
3
4 int f(int*a,int*b){
5 if(sizeof(__SIZE_TYPE__)!=sizeof(__PTRDIFF_TYPE__)) return -1;
6 __SIZE_TYPE__ d = b - a;
7 return d >= 5;
8 }
9
10 /* { dg-final { scan-tree-dump-not "exact_div_expr" "optimized" } } */