https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115376
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ebotcazou at gcc dot gnu.org Status|UNCONFIRMED |WAITING Ever confirmed|0 |1 Last reconfirmed| |2024-06-07 --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- See https://gcc.gnu.org/bugs/#gnat for instructions on how to report a bug.