diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 15:56:11 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-31 15:56:11 +0200 |
commit | 6c26bac268904dcdf7719bdc073f288a2c06703d (patch) | |
tree | dc790bc4944cf9c7404983c0805543add2e62e4f /gcc/ada/debug.adb | |
parent | 0c9aebea0f70c507b2eb63dd83c5f0ff3ee55793 (diff) | |
download | gcc-6c26bac268904dcdf7719bdc073f288a2c06703d.zip gcc-6c26bac268904dcdf7719bdc073f288a2c06703d.tar.gz gcc-6c26bac268904dcdf7719bdc073f288a2c06703d.tar.bz2 |
[multiple changes]
2014-07-31 Javier Miranda <miranda@adacore.com>
* debug.adb Remove documentation of -gnatd.k (no longer needed).
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Code cleanup.
* inline.ads (Backend_Inlined_Subps): New
Elist. (Backend_Not_Inlined_Subps): New Elist.
(Has_Excluded_Declaration): Declaration previously located in
* inline.adb (Has_Excluded_Statement): Declaration previously
located in inline.adb
* inline.adb (Has_Single_Return): Moved out of
Build_Body_To_Inline to avoid having duplicated code.
(Number_Of_Statements): New subprogram.
(Register_Backend_Inlined_Subprogram): New subprogram.
(Register_Backend_Not_Inlined_Subprogram): New subprogram.
(Add_Inlined_Subprogram): Register backend inlined subprograms and
also register subprograms that cannot be inlined by the backend.
(Has_Excluded_Declaration): Moved out of Build_Body_To_Inline
to avoid having duplicated code. Replace occurrences of
Debug_Flag_Dot_K by Back_End_Inlining.
* sem_res.adb (Resolve_Call): Code cleanup.
* exp_ch6.adb (Expand_Call): Complete previous patch. Replace
occurrence of Debug_Flag_Dot_K by Back_End_Inlining.
(List_Inlining_Info): Add listing of subprograms passed to the
backend and listing of subprograms that cannot be inlined by
the backend.
* sem_ch12.adb, sem_ch3.adb Replace occurrences of
Debug_Flag_Dot_K by Back_End_Inlining.
2014-07-31 Robert Dewar <dewar@adacore.com>
* nlists.ads: Minor code fix (remove unwise Inline for
List_Length).
From-SVN: r213373
Diffstat (limited to 'gcc/ada/debug.adb')
-rw-r--r-- | gcc/ada/debug.adb | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 9bf4faf..94da8ec 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -101,7 +101,7 @@ package body Debug is -- d.h -- d.i Ignore Warnings pragmas -- d.j Generate listing of frontend inlined calls - -- d.k Enable new support for frontend inlining + -- d.k -- d.l Use Ada 95 semantics for limited function returns -- d.m For -gnatl, print full source only for main unit -- d.n Print source file names @@ -533,10 +533,6 @@ package body Debug is -- to the backend. This is useful to locate skipped calls that must be -- inlined by the frontend. - -- d.k Enable new semantics of frontend inlining. This is useful to test - -- this new feature in all the platforms. What *is* this new semantics - -- which doesn't seem to be documented anywhere??? - -- d.l Use Ada 95 semantics for limited function returns. This may be -- used to work around the incompatibility introduced by AI-318-2. -- It is useful only in -gnat05 mode. |