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/par-prag.adb | |
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/par-prag.adb')
-rw-r--r-- | gcc/ada/par-prag.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb index 128ff22..a9fc33d 100644 --- a/gcc/ada/par-prag.adb +++ b/gcc/ada/par-prag.adb @@ -1262,6 +1262,7 @@ begin Pragma_No_Return | Pragma_No_Run_Time | Pragma_No_Strict_Aliasing | + Pragma_No_Tagged_Streams | Pragma_Normalize_Scalars | Pragma_Obsolescent | Pragma_Ordered | |