diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-10 21:08:04 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-09 09:27:29 +0000 |
| commit | 9a9d06f7115d18d57fa603d6b80a53912607a703 (patch) | |
| tree | ff56f21f6c126960dd479a3219811c37f36d703e /gcc | |
| parent | a72fd98bf5f1e57fa2ebbacff832bd4f753fd874 (diff) | |
| download | gcc-9a9d06f7115d18d57fa603d6b80a53912607a703.zip gcc-9a9d06f7115d18d57fa603d6b80a53912607a703.tar.gz gcc-9a9d06f7115d18d57fa603d6b80a53912607a703.tar.bz2 | |
[Ada] Remove repeated analysis of attribute prefixes
At the beginning of Analyze_Attribute routine we analyze the attribute
prefix. There is no need to repeat this analysis in branches for
individual attributes.
Code cleanup related to various Analyze/Resolve routines.
gcc/ada/
* sem_attr.adb (Analyze_Attribute): Remove calls to Analyze for
attributes Identity, Priority, Ref, Restriction_Set, To_Address
and for tasking-related attributes Callable, Terminated and
Storage_Size.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index ca841d3..4748567 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -2693,8 +2693,6 @@ package body Sem_Attr is procedure Check_Task_Prefix is begin - Analyze (P); - -- Ada 2005 (AI-345): Attribute 'Terminated can be applied to -- task interface class-wide types. @@ -4301,7 +4299,6 @@ package body Sem_Attr is when Attribute_Identity => Check_E0; - Analyze (P); if Etype (P) = Standard_Exception_Type then Set_Etype (N, RTE (RE_Exception_Id)); @@ -5505,8 +5502,6 @@ package body Sem_Attr is -- The prefix must be a protected object (AARM D.5.2 (2/2)) - Analyze (P); - if Is_Protected_Type (Etype (P)) or else (Is_Access_Type (Etype (P)) and then Is_Protected_Type (Designated_Type (Etype (P)))) @@ -5846,7 +5841,6 @@ package body Sem_Attr is when Attribute_Ref => Check_E1; - Analyze (P); if Nkind (P) /= N_Expanded_Name or else not Is_RTE (P_Type, RE_Address) @@ -5874,7 +5868,6 @@ package body Sem_Attr is begin Check_E1; - Analyze (P); Check_System_Prefix; -- No_Dependence case @@ -6456,7 +6449,6 @@ package body Sem_Attr is Val : Uint; begin Check_E1; - Analyze (P); Check_System_Prefix; Generate_Reference (RTE (RE_Address), P); |