diff options
author | Arnaud Charlet <charlet@adacore.com> | 2015-10-23 10:46:27 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-23 12:46:27 +0200 |
commit | 45969c973faf786d16c198c42c4055903d08658f (patch) | |
tree | 3b564c9735e23e369354db53fdf6f01c517ec7ae /gcc/ada/restrict.adb | |
parent | 88ebcde507cc5dec4ed951ac15aa03e4f8d66fa3 (diff) | |
download | gcc-45969c973faf786d16c198c42c4055903d08658f.zip gcc-45969c973faf786d16c198c42c4055903d08658f.tar.gz gcc-45969c973faf786d16c198c42c4055903d08658f.tar.bz2 |
gnat1drv.adb (Adjust_Global_Switches): Adjust settings.
2015-10-23 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Adjust settings.
* sem.adb (Semantics): Remove special case.
From-SVN: r229230
Diffstat (limited to 'gcc/ada/restrict.adb')
-rw-r--r-- | gcc/ada/restrict.adb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index b63b426..aaaaf40 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -505,16 +505,14 @@ package body Restrict is -- In GNATprove mode restrictions are checked, except for -- No_Initialize_Scalars, which is implicitly set in gnat1drv.adb. - -- Just checking, SPARK does not allow restrictions to be set ??? - if CodePeer_Mode or else (GNATprove_Mode and then R = No_Initialize_Scalars) then return; end if; - -- In SPARK mode, issue an error for any use of class-wide, even if the - -- No_Dispatch restriction is not set. + -- In SPARK 05 mode, issue an error for any use of class-wide, even if + -- the No_Dispatch restriction is not set. if R = No_Dispatch then Check_SPARK_05_Restriction ("class-wide is not allowed", N); |