ada: Add Entry_Cancel_Parameter to E_Label
commitf26005d533d5ecd25cb95f2bb542cd77a51ea418
authorBob Duff <duff@adacore.com>
Thu, 2 Mar 2023 15:12:29 +0000 (2 10:12 -0500)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 25 May 2023 07:44:15 +0000 (25 09:44 +0200)
tree8c3f7444e74c935c2ec5e3f4cae3bd1c040e87be
parent5ca595d97bb99839604ea9a60dce0abc336ed1e5
ada: Add Entry_Cancel_Parameter to E_Label

...and other (minor) changes.

gcc/ada/

* gen_il-gen-gen_entities.adb (E_Label): Add
Entry_Cancel_Parameter. This is necessary because
Analyze_Implicit_Label_Declaration set the Ekind to E_Label.
Without this change, this field would fail the vanishing-fields
check in Atree (which is currently commented out).
* einfo.ads (Entry_Cancel_Parameter): Document for E_Label.
* sem_eval.adb (Why_Not_Static): Protect against previous errors
(no need to explain why something is not static if it's already
illegal for other reasons).
* sem_util.ads (Enter_Name): Fix misleading comment.
gcc/ada/einfo.ads
gcc/ada/gen_il-gen-gen_entities.adb
gcc/ada/sem_eval.adb
gcc/ada/sem_util.ads