diff options
author | Yvan Roux <yvan.roux@linaro.org> | 2015-12-28 09:40:41 +0100 |
---|---|---|
committer | Linaro Code Review <review@review.linaro.org> | 2015-12-30 12:12:09 +0000 |
commit | 41fa3f1b335b8274596f2db5c20162b3f30aa54a (patch) | |
tree | 33b62a19b7e40a7ba534d803b99dcd8a1ac4697d /gcc/testsuite | |
parent | 0a0679afd918911c9021b126e67c5d5e939a5db2 (diff) |
gcc/
Backport from trunk r230754.
2015-11-23 Richard Biener <rguenth@gcc.gnu.org>
Jiong Wang <jiong.wang@arm.com>
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 <rguenther@suse.de>
Jiong Wang <jiong.wang@arm.com>
PR tree-optimization/68317
PR tree-optimization/68326
* gcc.dg/pr68317.c: New testcase.
Change-Id: Ibdbbbc35a0a23de5adcddf25eebffeda7a1e578e
Diffstat (limited to 'gcc/testsuite')
-rw-r--r-- | gcc/testsuite/gcc.dg/pr68317.c | 15 |
1 files changed, 15 insertions, 0 deletions
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); +} |