From 87843c8388536e2ed9143e56916d1ecec4e07da1 Mon Sep 17 00:00:00 2001 From: Daniel Mercier Date: Wed, 23 May 2018 10:21:58 +0000 Subject: [PATCH] [Ada] Turn off length expansion in CodePeer mode 2018-05-23 Daniel Mercier gcc/ada/ * gnat1drv.adb: Turn off length expansion in CodePeer mode. From-SVN: r260575 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/gnat1drv.adb | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f9ad15908a6..8b656cd2170 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2018-05-23 Daniel Mercier + + * gnat1drv.adb: Turn off length expansion in CodePeer mode. + 2018-05-23 Bob Duff * freeze.adb: (Check_Address_Clause): Deal with build-in-place diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 9309fca2920..70330abd5be 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 -- 2.30.2