tree-vrp.c
304 KB
-
re PR tree-optimization/64130 (vrp: handle non zero constant divided by range cannot be zero.) · c44b2a4fgcc/ChangeLog: 2015-06-29 Kugan Vivekanandarajah <kuganv@linaro.org> PR middle-end/64130 * tree-vrp.c (extract_range_from_binary_expr_1): For unsigned division, compute max and min when value ranges for dividend and divisor are available. gcc/testsuite/ChangeLog: 2015-06-29 Kugan Vivekanandarajah <kuganv@linaro.org> PR middle-end/64130 * gcc.dg/tree-ssa/pr64130.c: New test. From-SVN: r225108
Kugan Vivekanandarajah committed