diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-10-20 14:24:15 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-20 16:24:15 +0200 |
| commit | 49d413972612664513ab9b69934359563616b846 (patch) | |
| tree | 421e8d6e44baa89e118bcf050eb524704cf48607 /gcc/ada/snames.ads-tmpl | |
| parent | adc876a84080bb10955ca83601b9fb3ebe2f44fb (diff) | |
| download | gcc-49d413972612664513ab9b69934359563616b846.zip gcc-49d413972612664513ab9b69934359563616b846.tar.gz gcc-49d413972612664513ab9b69934359563616b846.tar.bz2 | |
gnat_rm.texi: Document No_Tagged_Streams pragma and aspect.
2014-10-20 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document No_Tagged_Streams pragma and aspect.
* snames.ads-tmpl: Add entry for pragma No_Tagged_Streams.
* aspects.ads, aspects.adb: Add aspect No_Tagged_Streams.
* einfo.adb (No_Tagged_Streams_Pragma): New field.
* einfo.ads: Minor reformatting (reorder entries).
(No_Tagged_Streams_Pragma): New field.
* exp_ch3.adb: Minor comment update.
* opt.ads (No_Tagged_Streams): New variable.
* par-prag.adb: Add dummy entry for pragma No_Tagged_Streams.
* sem.ads (Save_No_Tagged_Streams): New field in scope record.
* sem_attr.adb (Check_Stream_Attribute): Check stream ops
prohibited by No_Tagged_Streams.
* sem_ch3.adb (Analyze_Full_Type_Declaration): Set
No_Tagged_Streams_Pragma.
(Analyze_Subtype_Declaration): ditto.
(Build_Derived_Record_Type): ditto.
(Record_Type_Declaration): ditto.
* sem_ch8.adb (Pop_Scope): Restore No_Tagged_Streams.
(Push_Scope): Save No_Tagged_Streams.
* sem_prag.adb (Analyze_Pragma, case No_Tagged_Streams): Implement new
pragma.
From-SVN: r216476
Diffstat (limited to 'gcc/ada/snames.ads-tmpl')
| -rw-r--r-- | gcc/ada/snames.ads-tmpl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index cdc8253..cd68f11 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -408,6 +408,7 @@ package Snames is Name_Loop_Optimize : constant Name_Id := N + $; -- GNAT Name_No_Run_Time : constant Name_Id := N + $; -- GNAT Name_No_Strict_Aliasing : constant Name_Id := N + $; -- GNAT + Name_No_Tagged_Streams : constant Name_Id := N + $; -- GNAT Name_Normalize_Scalars : constant Name_Id := N + $; Name_Optimize_Alignment : constant Name_Id := N + $; -- GNAT Name_Overflow_Mode : constant Name_Id := N + $; -- GNAT @@ -1749,6 +1750,7 @@ package Snames is Pragma_Loop_Optimize, Pragma_No_Run_Time, Pragma_No_Strict_Aliasing, + Pragma_No_Tagged_Streams, Pragma_Normalize_Scalars, Pragma_Optimize_Alignment, Pragma_Overflow_Mode, |