diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-21 12:35:55 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-11-21 12:35:55 +0100 |
| commit | a4901c083549b9173a1cb3e55741ef0dfc3a8472 (patch) | |
| tree | 59878b2aee8b9ef9f117c9edec77057d4c951fc7 /gcc/ada/aspects.adb | |
| parent | 4bf201ed2f9a1c163a02eae24a99440d2790e192 (diff) | |
| download | gcc-a4901c083549b9173a1cb3e55741ef0dfc3a8472.zip gcc-a4901c083549b9173a1cb3e55741ef0dfc3a8472.tar.gz gcc-a4901c083549b9173a1cb3e55741ef0dfc3a8472.tar.bz2 | |
sem_ch6.adb (Is_Public_Subprogram_For): New procedure
2011-11-21 Robert Dewar <dewar@adacore.com>
* sem_ch6.adb (Is_Public_Subprogram_For): New procedure
(Process_PPCs): Invariants only apply to public subprograms.
2011-11-21 Robert Dewar <dewar@adacore.com>
* sem_util.adb, sem_util.ads, sem_attr.adb, restrict.adb,
restrict.ads: Fix for No_Implicit_Aliasing in the renames case.
2011-11-21 Robert Dewar <dewar@adacore.com>
* a-finali.ads: Use pragma Pure_12 for this unit
* aspects.adb: Add aspect Pure_12
* aspects.ads: Add aspect Pure_12
* opt.ads: Add note on Pure_12
* par-prag.adb: Add dummy entry for Pure_12
* sem_prag.adb: Implement Pure_12 pragma
* snames.ads-tmpl: Add Entry for Pure_12
2011-11-21 Sergey Rybin <rybin@adacore.com frybin>
* vms_data.ads: Add qualifiers for new gnatpp options
'--call_threshold' and '--par_threshold".
* gnat_ugn.texi: Add description for new gnatpp options
'--call_threshold' and '--par_threshold".
2011-11-21 Robert Dewar <dewar@adacore.com>
* lib.ads: Minor reformatting.
2011-11-21 Robert Dewar <dewar@adacore.com>
* lib-load.ads: Add comment.
From-SVN: r181563
Diffstat (limited to 'gcc/ada/aspects.adb')
| -rwxr-xr-x | gcc/ada/aspects.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/aspects.adb b/gcc/ada/aspects.adb index 9b70773..d25ba15 100755 --- a/gcc/ada/aspects.adb +++ b/gcc/ada/aspects.adb @@ -255,6 +255,7 @@ package body Aspects is Aspect_Preelaborate_05 => Aspect_Preelaborate_05, Aspect_Pure => Aspect_Pure, Aspect_Pure_05 => Aspect_Pure_05, + Aspect_Pure_12 => Aspect_Pure_12, Aspect_Remote_Call_Interface => Aspect_Remote_Call_Interface, Aspect_Remote_Types => Aspect_Remote_Types, Aspect_Shared_Passive => Aspect_Shared_Passive, |