diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 16:00:07 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 16:00:07 +0200 |
commit | 33b87152da3942dfc8f34c6447a6bfed307fca0e (patch) | |
tree | 5231ddea3175709f5d3b32358b5c069cb2ef9ef6 /gcc/ada/errout.adb | |
parent | 79904ebc48b0103c5a11dcfb76ee7c37399a213a (diff) | |
download | gcc-33b87152da3942dfc8f34c6447a6bfed307fca0e.zip gcc-33b87152da3942dfc8f34c6447a6bfed307fca0e.tar.gz gcc-33b87152da3942dfc8f34c6447a6bfed307fca0e.tar.bz2 |
[multiple changes]
2014-10-10 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Global_Item): Accept formal objects in Global
contracts.
* errout.adb, errout.ads (SPARK_Msg_NE): Issue error unless
SPARK_Mode is Off.
2014-10-10 Vadim Godunko <godunko@adacore.com>
* a-stwima.adb (To_Sequence): Compute size of result array.
2014-10-10 Javier Miranda <miranda@adacore.com>
* gnat_ugn.texi (Interfacing with C++ at the Class Level): Update the
sources of the example to avoid a warning when the Ada files are
automatically generated by the binding generator.
2014-10-10 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Resolve_Attribute, case 'Update): Set
Do_Range_Check on the expression of a record component
association when needed, as is done for array components, when
the corresponding type is a scalar type.
From-SVN: r216084
Diffstat (limited to 'gcc/ada/errout.adb')
-rw-r--r-- | gcc/ada/errout.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb index 78ca1fe..f26059a 100644 --- a/gcc/ada/errout.adb +++ b/gcc/ada/errout.adb @@ -3153,7 +3153,7 @@ package body Errout is E : Node_Or_Entity_Id) is begin - if SPARK_Mode = On then + if SPARK_Mode /= Off then Error_Msg_NE (Msg, N, E); end if; end SPARK_Msg_NE; |