[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 75d3d7bee1e4036249bed468b32ee2c13f58419c..a8ef30ff6980a4bc517ad172d04b1b6958afde29 100644 (file)
--- 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 ecb3ccdd39917639f32a6e632f1d0d773f9381d4..1f42a4469abc2fbd7e0b88e967ec3d9a7366c867 100644 (file)
--- 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.