[Bug c++/97627] [9/10/11 Regression] loop end condition missing - endless loop with -fPIC

[amker at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #12 from bin cheng <amker at gcc dot gnu.org> ---
a. why the loop is considered as infinite
b. we need to skip fake exit edges in niter analysis?