mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-09 20:31:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

[Ada] Do not set Back_End_Inlining in ASIS mode

Browse Source 
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
This commit is contained in:
Eric Botcazou 2019-08-13 08:07:13 +00:00 committed by Pierre-Marie de Rodat
parent 3fee1dcfc7
commit 2e8362bc21
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

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

4
gcc/ada/gnat1drv.adb
View File

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