diff options
| author | Daniel Mercier <mercier@adacore.com> | 2018-05-23 10:21:58 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-23 10:21:58 +0000 |
| commit | 87843c8388536e2ed9143e56916d1ecec4e07da1 (patch) | |
| tree | 059f880b546a3f6f34abaf02d9cc85007baa684a | |
| parent | 326776548e5959daf62f8583ee2356f2352452fc (diff) | |
| download | gcc-87843c8388536e2ed9143e56916d1ecec4e07da1.zip gcc-87843c8388536e2ed9143e56916d1ecec4e07da1.tar.gz gcc-87843c8388536e2ed9143e56916d1ecec4e07da1.tar.bz2 | |
[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
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 4 |
2 files changed, 8 insertions, 0 deletions
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 |