https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97715
--- Comment #15 from Jakub Jelinek <jakub at gcc dot gnu.org> --- They aren't live. But that loop checks that only if only_used is true, when one uses =all, it marks all regs that aren't fixed, aren't live at the end of the function and a few other checks.