[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 f9ad159..8b656cd 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 9309fca..70330ab 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