https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80025
--- Comment #12 from Bernd Schmidt <bernds at gcc dot gnu.org> --- That still doesn't seem to address the root cause though? Isn't the problem that this reversible mappings code can create cycles and we should avoid creating these in the first place?