From: Eric Botcazou <ebotcazou@adacore.com>
Date: Tue, 13 Aug 2019 08:07:13 +0000 (+0000)
Subject: [Ada] Do not set Back_End_Inlining in ASIS mode
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2e8362bc219d6e900756128450c365dd31045a7b;p=gcc.git

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

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