[Ada] Turn off length expansion in CodePeer mode
authorDaniel Mercier <mercier@adacore.com>
Wed, 23 May 2018 10:21:58 +0000 (10:21 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 23 May 2018 10:21:58 +0000 (10:21 +0000)
2018-05-23  Daniel Mercier  <mercier@adacore.com>

gcc/ada/

* gnat1drv.adb: Turn off length expansion in CodePeer mode.

From-SVN: r260575

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

index f9ad15908a6d98cda4f306bbe2e2005362cf1977..8b656cd2170cb563d01b8665ed934dede07df812 100644 (file)
@@ -1,3 +1,7 @@
+2018-05-23  Daniel Mercier  <mercier@adacore.com>
+
+       * gnat1drv.adb: Turn off length expansion in CodePeer mode.
+
 2018-05-23  Bob Duff  <duff@adacore.com>
 
        * freeze.adb: (Check_Address_Clause): Deal with build-in-place
index 9309fca29204a45c3d1b3801d0bb6935e931ff7b..70330abd5be8155b734117af57d1f7c40da05530 100644 (file)
@@ -247,6 +247,10 @@ procedure Gnat1drv is
          GNATprove_Mode := False;
          Debug_Flag_Dot_FF := False;
 
+         --  Turn off length expansion. CodePeer has its own mechanism to
+         --  handle length attribute.
+         Debug_Flag_Dot_PP := True;
+
          --  Turn off C tree generation, not compatible with CodePeer mode. We
          --  do not expect this to happen in normal use, since both modes are
          --  enabled by special tools, but it is useful to turn off these flags