This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/34114] Missed optimization: cannot determine loop termination
- From: "amker at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 02 Aug 2016 10:14:00 +0000
- Subject: [Bug tree-optimization/34114] Missed optimization: cannot determine loop termination
- Auto-submitted: auto-generated
- References: <bug-34114-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34114
--- Comment #8 from amker at gcc dot gnu.org ---
Author: amker
Date: Tue Aug 2 10:13:28 2016
New Revision: 238983
URL: https://gcc.gnu.org/viewcvs?rev=238983&root=gcc&view=rev
Log:
PR tree-optimization/34114
* tree-ssa-loop-niter.c (number_of_iterations_ne): Prove no-overflow
information for more control IVs.
gcc/testsuite
PR tree-optimization/34114
* gcc.dg/tree-ssa/loop-42.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/loop-42.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-loop-niter.c