https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93084
Martin Jambor <jamborm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jamborm at gcc dot gnu.org --- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> --- I can't look into this now but couple of lines above there's an exit intended to prevent this kind of situation (AFAIU from a quick look now), just below the comment saying: /* If the lattice has already been propagated for the call site, no need to do that again. */ Can you have a look why it does not trigger? Thanks.