diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 15:19:23 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 15:19:23 +0200 |
| commit | 634a926b69be65a7b7db39f74538a91a98a89eab (patch) | |
| tree | 530e84594a50d84c8b9b035436abbf141e1cd7c6 /gcc/ada/usage.adb | |
| parent | 884f97cc82df643671e6df4ed43a49518311022a (diff) | |
| download | gcc-634a926b69be65a7b7db39f74538a91a98a89eab.zip gcc-634a926b69be65a7b7db39f74538a91a98a89eab.tar.gz gcc-634a926b69be65a7b7db39f74538a91a98a89eab.tar.bz2 | |
[multiple changes]
2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
* comperr.adb (Compiler_Abort): Add a pair of pragma Warnings
On/Off to defend against a spurious warning in conditional
compilation.
* exp_ch4.adb (Rewrite_Comparison): Reimplemented.
* namet.adb (Finalize): Add a pair of pragma Warnings On/Off to
defend against a spurious warning in conditional compilation.
* output.adb Add a pair of pragma Warnings On/Off to defend
against a spurious warning in conditional compilation.
* sem_eval.adb (Eval_Relational_Op): Major code clean up.
(Fold_General_Op): New routine.
(Fold_Static_Real_Op): New routine.
(Test_Comparison): New routine.
* sem_eval.ads (Test_Comparison): New routine.
* sem_warn.adb (Is_Attribute_Constant_Comparison): New routine.
(Warn_On_Constant_Valid_Condition): New routine.
(Warn_On_Known_Condition): Use Is_Attribute_Constant_Comparison
to detect a specific case.
* sem_warn.adb (Warn_On_Constant_Valid_Condition): New routine.
* urealp.adb (Tree_Read): Add a pair of pragma Warnings On/Off
to defend against a spurious warning in conditional compilation.
(Tree_Write): Add a pair of pragma Warnings On/Off to defend
against a spurious warning in conditional compilation.
* usage.adb Add a pair of pragma Warnings On/Off to defend
against a spurious warning in conditional compilation.
2017-04-25 Arnaud Charlet <charlet@adacore.com>
* sinfo.ads, sem_ch13.adb: Update comment.
From-SVN: r247224
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index b0f7de1..8a47fd6 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -671,7 +671,13 @@ begin Write_Switch_Char ("zr"); Write_Line ("Distribution stub generation for receiver stubs"); + -- Disable the warnings emitted by -gnatwc because Ada_Version_Default may + -- be changed to denote a different default value. + + pragma Warnings (Off, "condition can only be * if invalid values present"); + if not Latest_Ada_Only then + -- Line for -gnat83 switch Write_Switch_Char ("83"); @@ -708,6 +714,8 @@ begin Write_Line ("Ada 2012 mode"); end if; + pragma Warnings (On, "condition can only be * if invalid values present"); + -- Line for -gnat-p switch Write_Switch_Char ("-p"); |