From 2e8362bc219d6e900756128450c365dd31045a7b Mon Sep 17 00:00:00 2001
From: Eric Botcazou <ebotcazou@adacore.com>
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  <ebotcazou@adacore.com>

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