https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119099
Jeffrey A. Law <law at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2025-03-03 Status|UNCONFIRMED |ASSIGNED --- Comment #3 from Jeffrey A. Law <law at gcc dot gnu.org> --- Bi-directional dataflow is notoriously hard to get correct and I have zero confidence this code handles that reasonably. I thought I had some checks for this, though I don't immediately see them. While I see 2-3 WTF things going on, but as Alexey noted, the key one is the expansion and contraction of the sets.