https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79830
--- Comment #6 from amker at gcc dot gnu.org --- BTW, I don't see problem in iv_elimination for the second loop, the .L7 one. It eliminates three IVs into one IV. Well, the bloated loop header could be further simplified, but it's another issue requiring more vrp information, i.e., simplify ((unsigned)i + 18446744073709551614) / 2 + 1 into (unsigned)i
