re PR middle-end/64491 (incorrect warning: loop exit may only be reached after undefi...
authorAndrew Stubbs <ams@codesourcery.com>
Wed, 18 Mar 2015 14:27:13 +0000 (14:27 +0000)
committerAndrew Stubbs <ams@gcc.gnu.org>
Wed, 18 Mar 2015 14:27:13 +0000 (14:27 +0000)
commitb4f3051a5fc315c5103f034b81e4d4b3c288fdc4
tree69b1cb1f705af4cd981f939fff7d9571ae8a9784
parent1aec2ecce4085a664f489e7a3585d993a9939a1d
re PR middle-end/64491 (incorrect warning: loop exit may only be reached after undefined behavior)

Fix PR64491

2015-03-18  Andrew Stubbs  <ams@codesourcery.com>

PR middle-end/64491
Revert:
2014-11-20  Andrew Stubbs  <ams@codesourcery.com>

* tree-ssa-loop-niter.c (maybe_lower_iteration_bound): Warn if a loop
condition would be removed due to undefined behaviour.

2015-03-18  Andrew Stubbs  <ams@codesourcery.com>

PR middle-end/64491
Revert:
2014-11-20  Andrew Stubbs  <ams@codesourcery.com>

* gcc.dg/undefined-loop-1.c: New file.
* gcc.dg/undefined-loop-2.c: New file.

2014-12-24  Andrew Stubbs  <ams@codesourcery.com>

PR testsuite/64032
* gcc.dg/undefined-loop-2.c: Don't allow GCC to optimize away the
loop exits too early.

From-SVN: r221492
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/undefined-loop-1.c [deleted file]
gcc/testsuite/gcc.dg/undefined-loop-2.c [deleted file]
gcc/tree-ssa-loop-niter.c