https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124179
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|asynchronous_select does |crash on call to null
|not allow plain procedure |procedure as triggering
|as triggering statement |statement of asynchronous
| |select
Status|UNCONFIRMED |NEW
Last reconfirmed| |2026-02-20
CC| |ebotcazou at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
How could the compiler have passed ACATS with such a defect? 9.7.2(3.2/2) is a
legality rule that applies to *any* procedure_or_entry_call, whereas 9.7.4(6/2)
is a dynamic semantics rule that has nothing to do with legality.
