diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-11-14 11:40:35 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-11-14 11:40:35 +0000 |
| commit | cacf87ce6c6f7c35c9e10ce635076481912ba092 (patch) | |
| tree | e95e91c980989582ffe4b1b85dacf136ce8cd188 | |
| parent | cff7b62c05a411a7dfb3af5e8feb63090c00df4a (diff) | |
| download | gcc-cacf87ce6c6f7c35c9e10ce635076481912ba092.zip gcc-cacf87ce6c6f7c35c9e10ce635076481912ba092.tar.gz gcc-cacf87ce6c6f7c35c9e10ce635076481912ba092.tar.bz2 | |
[Ada] Record components do not appear in the Global contract
In the Global contract there can be only entire objects, which are
represented either as N_Identifier or N_Expanded_Name. The test for
record components was dead. Now removed. Semantics unaffected.
2018-11-14 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_util.adb (First_From_Global_List): Do not expect
N_Selected_Component in the Global contract; simplify assertion
with Nam_In.
From-SVN: r266113
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/sem_util.adb | 11 |
2 files changed, 11 insertions, 6 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 04caf7a..b1531d1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,11 @@ 2018-11-14 Piotr Trojanek <trojanek@adacore.com> + * sem_util.adb (First_From_Global_List): Do not expect + N_Selected_Component in the Global contract; simplify assertion + with Nam_In. + +2018-11-14 Piotr Trojanek <trojanek@adacore.com> + * sem_ch12.adb (Instantiate_Object): Set Corresponding_Generic_Association on generic actuals with default expression. diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index f4b6579..430c0c6 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -8594,8 +8594,7 @@ package body Sem_Util is -- Single global item declaration (only input items) elsif Nkind_In (List, N_Expanded_Name, - N_Identifier, - N_Selected_Component) + N_Identifier) then if Global_Mode = Name_Input then return List; @@ -8648,10 +8647,10 @@ package body Sem_Util is Body_Id : Entity_Id; begin - pragma Assert (Global_Mode = Name_Input - or else Global_Mode = Name_Output - or else Global_Mode = Name_In_Out - or else Global_Mode = Name_Proof_In); + pragma Assert (Nam_In (Global_Mode, Name_Input, + Name_Output, + Name_In_Out, + Name_Proof_In)); -- Retrieve the suitable pragma Global or Refined_Global. In the second -- case, it can only be located on the body entity. |