tree-ssa-forwprop.c (associate_plusminus): For widening conversions check for undefin...
authorBernd Edlinger <bernd.edlinger@hotmail.de>
Wed, 25 Jun 2014 17:24:34 +0000 (17:24 +0000)
committerBernd Edlinger <edlinger@gcc.gnu.org>
Wed, 25 Jun 2014 17:24:34 +0000 (17:24 +0000)
commitf9bb13f37b87855ae980d9e774bd54f11b8d3a3f
tree460061ababfd488b677b7bd4445b5f5990d73291
parentd122681a3c4491cec5152d5c528005c1f5083e83
tree-ssa-forwprop.c (associate_plusminus): For widening conversions check for undefined overflow in (T)(P + A) - (T)P -> (T)A.

2014-06-25  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * tree-ssa-forwprop.c (associate_plusminus): For widening conversions
        check for undefined overflow in (T)(P + A) - (T)P -> (T)A.
        Issue a strict overflow warning if appropriate.

testsuite:
2014-06-25  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * gcc.c-torture/execute/20140622-1.c: New test.

From-SVN: r211988
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/20140622-1.c [new file with mode: 0644]
gcc/tree-ssa-forwprop.c