https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120320
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2025-05-17 Status|UNCONFIRMED |NEW Keywords| |compile-time-hog, | |needs-reduction CC| |ppalka at gcc dot gnu.org --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed. It never finishes subsumes_constraints_nonnull (), thus proving some constraints.