From 2e8362bc219d6e900756128450c365dd31045a7b Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Tue, 13 Aug 2019 08:07:13 +0000 Subject: [PATCH] [Ada] Do not set Back_End_Inlining in ASIS mode No impact on compilation. 2019-08-13 Eric Botcazou gcc/ada/ * gnat1drv.adb (Adjust_Global_Switches): Do not set Back_End_Inlining in ASIS mode either. From-SVN: r274342 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/gnat1drv.adb | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 75d3d7bee1e..a8ef30ff698 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2019-08-13 Eric Botcazou + + * gnat1drv.adb (Adjust_Global_Switches): Do not set + Back_End_Inlining in ASIS mode either. + 2019-08-13 Olivier Hainque * libgnat/s-win32.ads: Define size_t and fix the MapViewOfFile diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index ecb3ccdd399..1f42a4469ab 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. -- 2.30.2