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 | |
| parent | 900dd8405fbd327023aa24f856b4535033ebbef0 (diff) | |
| download | gcc-f6d606c7e717b3c842b96a72c0afcc84b82b7c53.zip gcc-f6d606c7e717b3c842b96a72c0afcc84b82b7c53.tar.gz gcc-f6d606c7e717b3c842b96a72c0afcc84b82b7c53.tar.bz2 | |
[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
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 18 |
2 files changed, 22 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 57869d3..6ed4339 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-07-08 Daniel Mercier <mercier@adacore.com> + + * gnat1drv.adb: Suppress warnings on memory representation in + CodePeer compiler mode. + 2019-07-08 Nicolas Roche <roche@adacore.com> * rtinit.c (__gnat_runtime_initialize): Remove dependency on diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 572ce3d..86d6be2 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 |