tree-vrp.c (vrp_int_const_binop): Do not set *overflow_p to true when overflow is...
authorRichard Biener <rguenther@suse.de>
Thu, 17 Aug 2017 07:16:30 +0000 (07:16 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 17 Aug 2017 07:16:30 +0000 (07:16 +0000)
commit344be1fd47d7d64ea85c159b14745ba107ce71ae
treeb1f4f85d29d08f6dacb0ffd21c27e044bec07848
parentb263d657e1c4bc182f0f72f62402010f8a8ad3fe
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
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/vrp117.c [new file with mode: 0644]
gcc/tree-vrp.c