diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:55:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:55:51 +0200 |
| commit | cb7fa356f01ab948150d228fac70a3e55575650d (patch) | |
| tree | 0dd193e8acf66a39a36fd7fc2383ffc0c01249d7 /gcc/ada/s-rident.ads | |
| parent | 1089a00a2f73a9137562844e774c9c3db4314b79 (diff) | |
| download | gcc-cb7fa356f01ab948150d228fac70a3e55575650d.tar.gz | |
[multiple changes]
2011-08-02 Arnaud Charlet <charlet@adacore.com>
* s-osinte-linux.ads: Minor comment update and reformatting.
* i-cexten.ads: Make this unit pure, as for its parent.
Will allow its usage in more contexts if needed.
2011-08-02 Robert Dewar <dewar@adacore.com>
* s-utf_32.ads: Minor comment fix.
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Actuals): if the subprogram is a primitive
operation of a tagged synchronized type, handle the case where the
controlling argument is overloaded.
2011-08-02 Yannick Moy <moy@adacore.com>
* gnat_rm.texi, opt.ads, sem_prag.adb, snames.ads-tmpl:
Replace pragma SPARK_95 with pragma Restrictions (SPARK)
* par-prag.adb (Process_Restrictions_Or_Restriction_Warnings): set
SPARK mode and formal verification mode on processing SPARK restriction
* s-rident.ads (Restriction_Id): add SPARK restriction in those not
requiring consistency checking.
From-SVN: r177117
Diffstat (limited to 'gcc/ada/s-rident.ads')
| -rw-r--r-- | gcc/ada/s-rident.ads | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/s-rident.ads b/gcc/ada/s-rident.ads index 9423694afad..2f0a2f30ff1 100644 --- a/gcc/ada/s-rident.ads +++ b/gcc/ada/s-rident.ads @@ -131,6 +131,7 @@ package System.Rident is No_Elaboration_Code, -- GNAT No_Obsolescent_Features, -- Ada 2005 AI-368 No_Wide_Characters, -- GNAT + SPARK, -- GNAT -- The following cases require a parameter value @@ -180,7 +181,7 @@ package System.Rident is -- All restrictions (excluding only Not_A_Restriction_Id) subtype All_Boolean_Restrictions is Restriction_Id range - Simple_Barriers .. No_Wide_Characters; + Simple_Barriers .. SPARK; -- All restrictions which do not take a parameter subtype Partition_Boolean_Restrictions is All_Boolean_Restrictions range @@ -191,7 +192,7 @@ package System.Rident is -- case of Boolean restrictions. subtype Cunit_Boolean_Restrictions is All_Boolean_Restrictions range - Immediate_Reclamation .. No_Wide_Characters; + Immediate_Reclamation .. SPARK; -- Boolean restrictions that are not checked for partition consistency -- and that thus apply only to the current unit. Note that for these -- restrictions, the compiler does not apply restrictions found in |