diff options
| author | Richard Biener <rguenther@suse.de> | 2017-08-17 07:16:30 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-08-17 07:16:30 +0000 |
| commit | 344be1fd47d7d64ea85c159b14745ba107ce71ae (patch) | |
| tree | b1f4f85d29d08f6dacb0ffd21c27e044bec07848 /gcc/testsuite/gcc.dg | |
| parent | b263d657e1c4bc182f0f72f62402010f8a8ad3fe (diff) | |
| download | gcc-344be1fd47d7d64ea85c159b14745ba107ce71ae.zip gcc-344be1fd47d7d64ea85c159b14745ba107ce71ae.tar.gz gcc-344be1fd47d7d64ea85c159b14745ba107ce71ae.tar.bz2 | |
tree-vrp.c (vrp_int_const_binop): Do not set *overflow_p to true when overflow is undefined and we saturated the...
2017-08-17 Richard Biener <rguenther@suse.de>
* tree-vrp.c (vrp_int_const_binop): Do not set *overflow_p
to true when overflow is undefined and we saturated the
result.
* gcc.dg/tree-ssa/vrp117.c: New testcase.
From-SVN: r251141
Diffstat (limited to 'gcc/testsuite/gcc.dg')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/vrp117.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp117.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp117.c new file mode 100644 index 0000000..d07a672 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp117.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-evrp" } */ + +void link_error (void); + +void foo (int i) +{ + if (i > __INT_MAX__ - 10) + { + int j = i * 10; + if (j < i) + link_error (); + } +} + +/* { dg-final { scan-tree-dump-not "link_error" "evrp" } } */ |