[Ada] Turn off length expansion in CodePeer mode

2018-05-23  Daniel Mercier  <mercier@adacore.com>

gcc/ada/

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

From-SVN: r260575

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index f9ad15908a6d98cda4f306bbe2e2005362cf1977..8b656cd2170cb563d01b8665ed934dede07df812 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -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

diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb
index 9309fca29204a45c3d1b3801d0bb6935e931ff7b..70330abd5be8155b734117af57d1f7c40da05530 100644 (file)
--- a/gcc/ada/gnat1drv.adb
+++ b/gcc/ada/gnat1drv.adb
@@ -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