diff options
| author | Daniel Mercier <mercier@adacore.com> | 2019-07-08 08:14:11 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-08 08:14:11 +0000 |
| commit | f6d606c7e717b3c842b96a72c0afcc84b82b7c53 (patch) | |
| tree | fbd83e01f1b272e825a8e0201e0720eccdafb210 /gcc/ada/gnat1drv.adb | |
| parent | 900dd8405fbd327023aa24f856b4535033ebbef0 (diff) | |
| download | gcc-f6d606c7e717b3c842b96a72c0afcc84b82b7c53.tar.gz | |
[Ada] Suppress warnings on memory representation in CodePeer mode
2019-07-08 Daniel Mercier <mercier@adacore.com>
gcc/ada/
* gnat1drv.adb: Suppress warnings on memory representation in
CodePeer compiler mode.
From-SVN: r273215
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 572ce3d4bbb..86d6be2c14f 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -82,6 +82,7 @@ with Uname; use Uname; with Urealp; with Usage; with Validsw; use Validsw; +with Warnsw; use Warnsw; with System.Assertions; with System.OS_Lib; @@ -403,7 +404,22 @@ procedure Gnat1drv is Relaxed_RM_Semantics := True; - if not Generate_CodePeer_Messages then + if Generate_CodePeer_Messages then + + -- We do want to emit GNAT warnings when using -gnateC. But, + -- in CodePeer mode, warnings about memory representation are not + -- meaningful, thus, suppress them. + + Warn_On_Biased_Representation := False; -- -gnatw.b + Warn_On_Unrepped_Components := False; -- -gnatw.c + Warn_On_Record_Holes := False; -- -gnatw.h + Warn_On_Unchecked_Conversion := False; -- -gnatwz + Warn_On_Size_Alignment := False; -- -gnatw.z + Warn_On_Questionable_Layout := False; -- -gnatw.q + Warn_On_Overridden_Size := False; -- -gnatw.s + Warn_On_Reverse_Bit_Order := False; -- -gnatw.v + + else -- Suppress compiler warnings by default when generating SCIL for -- CodePeer, except when combined with -gnateC where we do want to |