https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68392
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It's because gcc_checking_assert (sparseset_bit_p (active_defs_check, regno)); has been inconsistently converted with the ENABLE_CHECING transform as we have if (flag_checking) active_defs_check = sparseset_alloc (max_reg_num ()); but gcc_checking_assert is keyed on CHECKING_P, not flag_checking.