[Ada] Suppress warnings on memory representation in CodePeer mode
authorDaniel Mercier <mercier@adacore.com>
Mon, 8 Jul 2019 08:14:11 +0000 (08:14 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 8 Jul 2019 08:14:11 +0000 (08:14 +0000)
2019-07-08  Daniel Mercier  <mercier@adacore.com>

gcc/ada/

* gnat1drv.adb: Suppress warnings on memory representation in
CodePeer compiler mode.

From-SVN: r273215

gcc/ada/ChangeLog
gcc/ada/gnat1drv.adb

index 57869d32bdad7683e0c0ba57f92b49994295db76..6ed43390ea2e5f7eccf78b87cd834291ad3fe524 100644 (file)
@@ -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
index 572ce3d4bbb5d42025a0be8f14c63115c44540ee..86d6be2c14f61ecd5ffe35a7e7c7c6cb73c5d67c 100644 (file)
@@ -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