diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 14:32:10 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 14:32:10 +0200 |
| commit | e8cddc3b5a9c50a9c7bd4b58b97f6384bc1aa807 (patch) | |
| tree | 665c72f50c2ecaffd57b68f62703febe25766cca /gcc/ada/restrict.adb | |
| parent | f3296dd398cbfd8b126d3f8bf49ea47691b69f2c (diff) | |
| download | gcc-e8cddc3b5a9c50a9c7bd4b58b97f6384bc1aa807.zip gcc-e8cddc3b5a9c50a9c7bd4b58b97f6384bc1aa807.tar.gz gcc-e8cddc3b5a9c50a9c7bd4b58b97f6384bc1aa807.tar.bz2 | |
[multiple changes]
2014-07-31 Vincent Celier <celier@adacore.com>
* projects.texi: Minor spelling error fix.
2014-07-31 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document No_Elaboration_Code_All restriction.
* lib-writ.adb, lib-load.adb: Initialize No_Elab_Code field in unit
information.
* lib.ads, lib.adb (No_Elab_Code): New field in unit information.
* restrict.adb (Process_Restriction_Synonyms): Add handling
of No_Elaboration_Code_All.
* restrict.ads (Process_Restriction_Synonyms): Now handles
No_Elaboration_Code_All.
* sem_ch10.adb (Analyze_Context): Enforce transitive with for
No_Elaboration_Code_All.
* sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Handle setting of No_Elab_Code in unit information. Handle
No_Elaboration_Code_All.
* snames.ads-tmpl (Name_No_Elaboration_Code): New name for
pragma processing.
(Name_No_Elaboration_Code_All): New name for pragma processing.
2014-07-31 Eric Botcazou <ebotcazou@adacore.com>
* exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Reject array
types with a null range and use the Esize of the component
instead of its RM_Size to identify appropriate values.
2014-07-31 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb Add with and use clause for Aspects.
(Freeze_Expression): Emit an error when a volatile constant lacks
Boolean aspect Import.
(Has_Boolean_Aspect_Import): New routine.
From-SVN: r213347
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 8983f78..237ee42 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -883,6 +883,11 @@ package body Restrict is when Name_No_Task_Attributes => New_Name := Name_No_Task_Attributes_Package; + -- No_Elaboration_Code_All is special, no warning needed + + when Name_No_Elaboration_Code_All => + return Name_No_Elaboration_Code; + -- SPARK is special in that we unconditionally warn when Name_SPARK => |