https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63445
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > The range of n_7 is suboptimal and the test on _6 can be eliminated. Which turns out to be counter-productive for the testcase because the test is used to derive information by the sccp pass; as a result, if you eliminate it, the sccp pass does nothing and the loop is not eliminated in the final code...