diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-08-13 08:07:13 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-13 08:07:13 +0000 |
| commit | 2e8362bc219d6e900756128450c365dd31045a7b (patch) | |
| tree | cda3ef43c685b6155ffd62cc0582f070d12a3df9 /gcc | |
| parent | 3fee1dcfc7df9b393c019f289b6a28f7ad7f8f8c (diff) | |
| download | gcc-2e8362bc219d6e900756128450c365dd31045a7b.zip gcc-2e8362bc219d6e900756128450c365dd31045a7b.tar.gz gcc-2e8362bc219d6e900756128450c365dd31045a7b.tar.bz2 | |
[Ada] Do not set Back_End_Inlining in ASIS mode
No impact on compilation.
2019-08-13 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* gnat1drv.adb (Adjust_Global_Switches): Do not set
Back_End_Inlining in ASIS mode either.
From-SVN: r274342
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 75d3d7b..a8ef30f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-08-13 Eric Botcazou <ebotcazou@adacore.com> + + * gnat1drv.adb (Adjust_Global_Switches): Do not set + Back_End_Inlining in ASIS mode either. + 2019-08-13 Olivier Hainque <hainque@adacore.com> * libgnat/s-win32.ads: Define size_t and fix the MapViewOfFile diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index ecb3ccd..1f42a44 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -803,6 +803,10 @@ procedure Gnat1drv is not Generate_C_Code + -- No back-end inlining available in ASIS mode + + and then not ASIS_Mode + -- No back-end inlining in GNATprove mode, since it just confuses -- the formal verification process. |