[Bug tree-optimization/89713] Optimize away an empty loop whose finiteness can not be analytically determined

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89713

--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> ---
Related:
PR 89134
PR 82776
PR 67809