From: Daniel Mercier <mercier@adacore.com>
Date: Wed, 23 May 2018 10:21:58 +0000 (+0000)
Subject: [Ada] Turn off length expansion in CodePeer mode
X-Git-Tag: upstream/12.2.0~31639
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=87843c8388536e2ed9143e56916d1ecec4e07da1;p=platform%2Fupstream%2Fgcc.git

[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
--- 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
--- 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