From a67a63e2f256e0ea10297c519be188f09c4a8189 Mon Sep 17 00:00:00 2001 From: charlet Date: Wed, 22 Jul 2009 10:31:30 +0000 Subject: 2009-07-22 Thomas Quinot * sem_elab.adb (Insert_Elab_Check): When relocating an overloaded expression to insert an elab check using a conditional expression, be sure to carry the original list of interpretations to the new location. 2009-07-22 Gary Dismukes * gnat1drv.adb: Fix spelling error. 2009-07-22 Javier Miranda * sem_type.ads, sem_type.adb (In_Generic_Actual): Leave this subprogram at the library level and fix a hidden bug in its implementation: its functionality for renaming objects was broken because N_Object_Renaming_Declarations nodes are not a subclass of N_Declaration nodes (as documented in sinfo.ads). * sem_util.adb (Check_Dynamically_Tagged_Expression): Include in this check nodes that are actuals of generic instantiations. 2009-07-22 Ed Schonberg * sinfo.ads, sinfo.adb (Pending_Context): New flag to indicate that the context of a compilation unit is being analyzed. Used to detect circularities created by with_clauses that are not detected by the loading machinery. * sem_ch10.adb (Analyze_Compilation_Unit): Set Pending_Context before analyzing the context of the current compilation unit, to detect possible circularities created by with_clauses. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149925 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sinfo.ads | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'gcc/ada/sinfo.ads') diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 737f7b66bb3..e7b25230e73 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -698,6 +698,13 @@ package Sinfo is -- package Exp_Util, and also the expansion routines for the relevant -- nodes. + -- Context_Pending (Flag16-Sem) + -- This field appears in Compilation_Unit nodes, to indicate that the + -- context of the unit is being compiled. Used to detect circularities + -- that are not otherwise detected by the loading mechanism. Such + -- circularities can occur in the presence of limited and non-limited + -- with_clauses that mention the same units. + -- Controlling_Argument (Node1-Sem) -- This field is set in procedure and function call nodes if the call -- is a dispatching call (it is Empty for a non-dispatching call). It @@ -5393,6 +5400,7 @@ package Sinfo is -- Has_No_Elaboration_Code (Flag17-Sem) -- Body_Required (Flag13-Sem) set for spec if body is required -- Acts_As_Spec (Flag4-Sem) flag for subprogram body with no spec + -- Context_Pending (Flag16-Sem) -- First_Inlined_Subprogram (Node3-Sem) -- N_Compilation_Unit_Aux @@ -7678,6 +7686,9 @@ package Sinfo is function Context_Installed (N : Node_Id) return Boolean; -- Flag13 + function Context_Pending + (N : Node_Id) return Boolean; -- Flag16 + function Context_Items (N : Node_Id) return List_Id; -- List1 @@ -8578,6 +8589,9 @@ package Sinfo is procedure Set_Context_Items (N : Node_Id; Val : List_Id); -- List1 + procedure Set_Context_Pending + (N : Node_Id; Val : Boolean := True); -- Flag16 + procedure Set_Controlling_Argument (N : Node_Id; Val : Node_Id); -- Node1 @@ -11009,6 +11023,7 @@ package Sinfo is pragma Inline (Constraints); pragma Inline (Context_Installed); pragma Inline (Context_Items); + pragma Inline (Context_Pending); pragma Inline (Controlling_Argument); pragma Inline (Conversion_OK); pragma Inline (Corresponding_Body); @@ -11305,6 +11320,7 @@ package Sinfo is pragma Inline (Set_Constraints); pragma Inline (Set_Context_Installed); pragma Inline (Set_Context_Items); + pragma Inline (Set_Context_Pending); pragma Inline (Set_Controlling_Argument); pragma Inline (Set_Conversion_OK); pragma Inline (Set_Corresponding_Body); -- cgit v1.2.1