diff options
| author | Bob Duff <duff@adacore.com> | 2023-03-02 10:12:29 -0500 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:15 +0200 |
| commit | f26005d533d5ecd25cb95f2bb542cd77a51ea418 (patch) | |
| tree | 8c3f7444e74c935c2ec5e3f4cae3bd1c040e87be /gcc/ada/einfo.ads | |
| parent | 5ca595d97bb99839604ea9a60dce0abc336ed1e5 (diff) | |
| download | gcc-f26005d533d5ecd25cb95f2bb542cd77a51ea418.zip gcc-f26005d533d5ecd25cb95f2bb542cd77a51ea418.tar.gz gcc-f26005d533d5ecd25cb95f2bb542cd77a51ea418.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index b39cffd..7dc2bd1 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -1131,6 +1131,8 @@ package Einfo is -- object for task entry calls and a Communications_Block object -- in the case of protected entry calls. In both cases the objects -- are declared in outer scopes to this block. +-- This is also defined in labels, because we temporarily set the +-- Ekind of an E_Block to E_Label in Analyze_Implicit_Label_Declaration. -- Entry_Component -- Defined in formal parameters (in, in out and out parameters). Used @@ -5660,6 +5662,7 @@ package Einfo is -- E_Label -- Renamed_Object $$$ -- Renamed_Entity $$$ + -- Entry_Cancel_Parameter -- Enclosing_Scope -- Reachable |