------- Comment #1 from rguenth at gcc dot gnu dot org 2006-03-28 15:13 -------
Note that we in principle know the number of iterations - just we cannot prove
the loop runs at least once in number of iterations analysis. Of course we
know this because we did loop header copying on the loop and no other pass
interfered with this. Maybe we should remember the BB of the loop header copy
so we can verify
later that it still dominates the loop header. This would avoid needing to
deal
with symbolic range simplification like in PR26899.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |sebastian dot pop at cri dot
| |ensmp dot fr
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26900
