diff options
| author | Robert Dewar <dewar@adacore.com> | 2015-03-04 09:57:07 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-04 10:57:07 +0100 |
| commit | 488f9623ba0c3762eec2fdd9117c0d8dccb4d797 (patch) | |
| tree | dcfb567eda62825a89f603f5277d157664b3fc05 /gcc/ada/sem_attr.adb | |
| parent | b6a56408a630f3fe20b4664520302adab8bd10a6 (diff) | |
| download | gcc-488f9623ba0c3762eec2fdd9117c0d8dccb4d797.zip gcc-488f9623ba0c3762eec2fdd9117c0d8dccb4d797.tar.gz gcc-488f9623ba0c3762eec2fdd9117c0d8dccb4d797.tar.bz2 | |
exp_ch6.adb (Expand_N_Subprogram_Body): Avoid trying to unnest generic subprograms.
2015-03-04 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb (Expand_N_Subprogram_Body): Avoid trying to unnest
generic subprograms.
* exp_unst.adb (Check_Dynamic_Type): Handle record types properly
(Note_Uplevel_Reference): Ignore uplevel references to non-types
(Get_Level): Consider only subprograms, not blocks.
(Visit_Node): Set proper condition for generating ARECnF entity.
Ignore indirect calls. Ignore calls to subprograms
outside our nest.
(Unnest_Subprogram): Minor changes in dealing with ARECnF entity.
(Add_Form_To_Spec): Properly set Last_Entity field.
(Unnest_Subprogram): Set current subprogram scope for analyze calls.
Handle case of no uplevel refs in outer subprogram
Don't mark uplevel entities as aliased.
Don't deal with calls with no ARECnF requirement.
2015-03-04 Robert Dewar <dewar@adacore.com>
* s-valrea.adb (Scan_Real): Remove redundant tests from scaling loops.
* s-imgdec.adb (Set_Decimal_Digits): Remove redundant Max
operation in computing LZ.
* sem_attr.adb: Minor typo fix
From-SVN: r221177
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index d4ece97..21040ab 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -247,7 +247,7 @@ package body Sem_Attr is -- Common processing for attributes 'Old and 'Result. The routine checks -- that the attribute appears in a postcondition-like aspect or pragma -- associated with a suitable subprogram or a body. Flag Legal is set - -- when the above criterias are met. Spec_Id denotes the entity of the + -- when the above criteria are met. Spec_Id denotes the entity of the -- subprogram [body] or Empty if the attribute is illegal. procedure Bad_Attribute_For_Predicate; |