From 5e9cb4046164bb8debe8b3c07c00158b7319739a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 6 Sep 2017 14:27:15 +0200 Subject: [multiple changes] 2017-09-06 Ed Schonberg * 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 * sem_util.adb (Unique_Entity): For abstract states return their non-limited view. 2017-09-06 Bob Duff * 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 * make.adb: Do not invoke gprbuild for -bargs -P. 2017-09-06 Sylvain Dailler * 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 * 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 --- gcc/ada/sinput-l.adb | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) (limited to 'gcc/ada/sinput-l.adb') diff --git a/gcc/ada/sinput-l.adb b/gcc/ada/sinput-l.adb index a64283e..d7e337b 100644 --- a/gcc/ada/sinput-l.adb +++ b/gcc/ada/sinput-l.adb @@ -103,7 +103,7 @@ package body Sinput.L is -- case, but in practice there seem to be some nodes that get copied -- twice, and this is a defence against that happening. - if Factor.Lo <= Loc and then Loc <= Factor.Hi then + if Loc in Factor.Lo .. Factor.Hi then Set_Sloc (N, Loc + Factor.Adjust); end if; end Adjust_Instantiation_Sloc; @@ -143,7 +143,8 @@ package body Sinput.L is Xnew := Source_File.Last; if Debug_Flag_L then - Write_Str ("Create_Instantiation_Source: created source "); + Write_Eol; + Write_Str ("*** Create_Instantiation_Source: created source "); Write_Int (Int (Xnew)); Write_Line (""); end if; @@ -250,8 +251,7 @@ package body Sinput.L is end; if Debug_Flag_L then - Write_Eol; - Write_Str ("*** Create instantiation source for "); + Write_Str (" for "); if Nkind (Dnod) in N_Proper_Body and then Was_Originally_Stub (Dnod) @@ -291,10 +291,6 @@ package body Sinput.L is Write_Name (Chars (Template_Id)); Write_Eol; - Write_Str (" new source index = "); - Write_Int (Int (Xnew)); - Write_Eol; - Write_Str (" copying from file name = "); Write_Name (File_Name (Xold)); Write_Eol; @@ -401,11 +397,11 @@ package body Sinput.L is X := Source_File.Last; if Debug_Flag_L then + Write_Eol; Write_Str ("Sinput.L.Load_File: created source "); Write_Int (Int (X)); Write_Str (" for "); Write_Str (Get_Name_String (N)); - Write_Line (""); end if; -- Compute starting index, respecting alignment requirement -- cgit v1.1