diff options
| author | Richard Biener <rguenther@suse.de> | 2025-01-29 13:25:14 +0100 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2025-01-30 10:00:14 +0100 |
| commit | d1c7837d2d6e5a2997228681166ed8c814891881 (patch) | |
| tree | 01a0132bf2d71966400486ea5a10af051dd0e447 /gcc/expr.cc | |
| parent | f559ac896942ffe0e2315d0a4d8b8b517a16d607 (diff) | |
| download | gcc-d1c7837d2d6e5a2997228681166ed8c814891881.zip gcc-d1c7837d2d6e5a2997228681166ed8c814891881.tar.gz gcc-d1c7837d2d6e5a2997228681166ed8c814891881.tar.bz2 | |
tree-optimization/114052 - consider infinite sub-loops when lowering iter bound
When we walk stmts to find always executed stmts with UB in the last
iteration to be able to reduce the iteration count by one we fail
to consider infinite subloops in the last iteration that would make
such stmt not execute. The following adds this.
PR tree-optimization/114052
* tree-ssa-loop-niter.cc (maybe_lower_iteration_bound): Check
for infinite subloops we might not exit.
* gcc.dg/pr114052-1.c: New testcase.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions