diff --git a/gcc/match.pd b/gcc/match.pd index 39c9c81966a7d168ca4958366eb0acc7c207f734..87edf0e75c3d3f2edb736ae5cc54246c433c7a97 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -931,8 +931,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) bool overflowed = true; value_range vr0, vr1; if (INTEGRAL_TYPE_P (type) - && get_global_range_query ()->range_of_expr (vr0, @0) - && get_global_range_query ()->range_of_expr (vr1, @1) + && get_range_query (cfun)->range_of_expr (vr0, @0) + && get_range_query (cfun)->range_of_expr (vr1, @1) && !vr0.varying_p () && !vr0.undefined_p () && !vr1.varying_p () && !vr1.undefined_p ()) { diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr111303.c b/gcc/testsuite/gcc.dg/tree-ssa/pr111303.c new file mode 100644 index 0000000000000000000000000000000000000000..b703fe4546d61956bc004847b6ce14102219f870 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr111303.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-optimized" } */ + +typedef unsigned int INT; + +INT +foo (INT x, INT y) +{ + if (x > 100 || y > 100) + return x; + return (x * y) / y; +} + +/* { dg-final { scan-tree-dump-times "return x_..D." 1 "optimized"} } */ +/* { dg-final { scan-tree-dump-times " / " 0 "optimized"} } */