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/opt.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/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 32326ecd3c7..61fc1f1e3f3 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1167,22 +1167,6 @@ package Opt is -- GNAT -- Set True if a pragma Short_Descriptors applies to the current unit. - type SPARK_Version_Type is (SPARK_None, SPARK_95); - pragma Ordered (SPARK_Version_Type); - -- Versions of SPARK for SPARK_Version below. Note that these are ordered, - -- so that tests like SPARK_Version >= SPARK_95 are legitimate and useful. - -- Think twice before using "="; SPARK_Version >= SPARK_95 is more likely - -- what you want, because it will apply to future versions of the language. - - SPARK_Version_Default : constant SPARK_Version_Type := SPARK_None; - -- GNAT - -- Default SPARK version if no switch given - - SPARK_Version : SPARK_Version_Type := SPARK_Version_Default; - -- GNAT - -- Current SPARK version for compiler, as set by configuration pragmas or - -- compiler switches. - Sprint_Line_Limit : Nat := 72; -- GNAT -- Limit values for chopping long lines in Sprint output, can be reset |