https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108610
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2023-05-11 CC| |ebotcazou at gcc dot gnu.org Summary|Pure library procedures |pure library procedures |with limited parameters |with limited parameters |miscategorized |miscategorized Status|UNCONFIRMED |NEW --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Your analysis is correct, see Sem_Util.Check_Function_With_Address_Parameter.