From 41fa3f1b335b8274596f2db5c20162b3f30aa54a Mon Sep 17 00:00:00 2001 From: Yvan Roux Date: Mon, 28 Dec 2015 09:40:41 +0100 Subject: gcc/ Backport from trunk r230754. 2015-11-23 Richard Biener Jiong Wang PR tree-optimization/68317 PR tree-optimization/68326 * tree-vrp.c (adjust_range_with_scev): Call drop_tree_overflow if the final min and max are not infinity. gcc/testsuite/ Backport from trunk r230754. 2015-11-23 Richard Biener Jiong Wang PR tree-optimization/68317 PR tree-optimization/68326 * gcc.dg/pr68317.c: New testcase. Change-Id: Ibdbbbc35a0a23de5adcddf25eebffeda7a1e578e --- gcc/testsuite/gcc.dg/pr68317.c | 15 +++++++++++++++ gcc/tree-vrp.c | 11 +++++++++++ 2 files changed, 26 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr68317.c diff --git a/gcc/testsuite/gcc.dg/pr68317.c b/gcc/testsuite/gcc.dg/pr68317.c new file mode 100644 index 00000000000..7b565639588 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr68317.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +void bar (int); + +void +foo () +{ + int index = 0; + + for (index; index <= 10; index--) + /* Result of the following multiply will overflow + when converted to signed int. */ + bar ((0xcafe + index) * 0xdead); +} diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index ec43bc64729..fda0b3f04b5 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4488,6 +4488,17 @@ adjust_range_with_scev (value_range_t *vr, struct loop *loop, && is_positive_overflow_infinity (max))) return; + /* Even for valid range info, sometimes overflow flag will leak in. + As GIMPLE IL should have no constants with TREE_OVERFLOW set, we + drop them except for +-overflow_infinity which still need special + handling in vrp pass. */ + if (TREE_OVERFLOW_P (min) + && ! is_negative_overflow_infinity (min)) + min = drop_tree_overflow (min); + if (TREE_OVERFLOW_P (max) + && ! is_positive_overflow_infinity (max)) + max = drop_tree_overflow (max); + set_value_range (vr, VR_RANGE, min, max, vr->equiv); } -- cgit v1.2.3