diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-06 14:27:15 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-06 14:27:15 +0200 |
| commit | 5e9cb4046164bb8debe8b3c07c00158b7319739a (patch) | |
| tree | eb4522ff3d54d02930fecbc82d6283f764049ab7 /gcc/ada/inline.adb | |
| parent | c1a42658e734cb6445c8e81c8f95c3d99b8c8709 (diff) | |
| download | gcc-5e9cb4046164bb8debe8b3c07c00158b7319739a.zip gcc-5e9cb4046164bb8debe8b3c07c00158b7319739a.tar.gz gcc-5e9cb4046164bb8debe8b3c07c00158b7319739a.tar.bz2 | |
[multiple changes]
2017-09-06 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Check_Postcondition_Use_In_Inlined_Subprogram):
Do not warn on conditions that are not obeyed for Inline_Always
subprograms, when assertions are not enabled.
2017-09-06 Arnaud Charlet <charlet@adacore.com>
* sem_util.adb (Unique_Entity): For abstract states return their
non-limited view.
2017-09-06 Bob Duff <duff@adacore.com>
* sem_ch12.adb (Copy_Generic_Node): When we copy a node
that is a proper body corresponding to a stub, we defer the
adjustment of the sloc until after the correct adjustment has
been computed. Otherwise, Adjust_Instantiation_Sloc will ignore
the adjustment, because it will be outside the range in (the old,
incorrect) S_Adjustment.
* inline.adb: Use named notation for readability and uniformity.
* sinput-l.adb: Minor improvements to debugging output printed
for Debug_Flag_L.
* sinput-l.ads (Create_Instantiation_Source): Minor comment
correction.
2017-09-06 Vincent Celier <celier@adacore.com>
* make.adb: Do not invoke gprbuild for -bargs -P.
2017-09-06 Sylvain Dailler <dailler@adacore.com>
* sem_eval.adb (Compile_Time_Known_Value_Or_Aggr): Adding a
case when Op is of kind N_Qualified_Expression. In this case,
the function is called recursively on the subexpression like in
other cases.
* make.adb: Minor reformatting
2017-09-06 Justin Squirek <squirek@adacore.com>
* einfo.adb (Set_Linker_Section_Pragma): Modify
Set_Linker_Section_Pragma to be consistant with the "getter"
Linker_Section_Pragma.
* exp_ch5.adb (Expand_Formal_Container_Loop): Add proper error
checking for container loops so that the index cursor is not
directly changable by the user with the use of E_Loop_Parameter.
* sem_ch5.adb (Analyze_Block_Statement): Revert previous change.
* sem_warn.adb (Check_References): Revert previous change.
From-SVN: r251789
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index 70d1f848..bc0428e 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1058,7 +1058,7 @@ package body Inline is if In_Instance and then Scope (Current_Scope) /= Standard_Standard then Save_Env (Scope (Current_Scope), Scope (Current_Scope)); - Original_Body := Copy_Generic_Node (N, Empty, True); + Original_Body := Copy_Generic_Node (N, Empty, Instantiating => True); else Original_Body := Copy_Separate_Tree (N); end if; @@ -1081,7 +1081,8 @@ package body Inline is Remove_Aspects_And_Pragmas (Original_Body); - Body_To_Analyze := Copy_Generic_Node (Original_Body, Empty, False); + Body_To_Analyze := + Copy_Generic_Node (Original_Body, Empty, Instantiating => False); -- Set return type of function, which is also global and does not need -- to be resolved. @@ -1635,7 +1636,8 @@ package body Inline is if In_Instance and then Scope (Current_Scope) /= Standard_Standard then - Body_To_Inline := Copy_Generic_Node (N, Empty, True); + Body_To_Inline := + Copy_Generic_Node (N, Empty, Instantiating => True); else Body_To_Inline := Copy_Separate_Tree (N); end if; @@ -1688,7 +1690,8 @@ package body Inline is -- parameterless subprogram, declared within the real one. Generate_Subprogram_Body (N, Original_Body); - Body_To_Analyze := Copy_Generic_Node (Original_Body, Empty, False); + Body_To_Analyze := + Copy_Generic_Node (Original_Body, Empty, Instantiating => False); -- Set return type of function, which is also global and does not -- need to be resolved. |