https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80197
--- Comment #5 from Alexander Monakov <amonakov at gcc dot gnu.org> --- On trunk, manually fixing up inlining is not enough: trunk additionally needs -fno-tracer, otherwise crucial if-conversion of 'if (k < 0) k += m1;' is prevented.