http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52316
--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-02-20 15:08:05 UTC --- can not prove finiteness of loop 1 can not prove finiteness of loop 2 number of iteration analysis does not work on non-integral IVs.
