* s-os_lib.ads (Rename_File): Minor commment addition.
2014-02-20 Thomas Quinot <quinot@adacore.com>
* einfo.ads: Minor reformatting.
2014-02-20 Hristian Kirtchev <kirtchev@adacore.com>
* aspects.adb (Exchange_Aspects): New routine.
* aspects.ads (Exchange_Aspects): New routine.
* atree.adb (Rewrite): Do not check whether the save node has
aspects as it never will, instead check the node about to be clobbered.
* einfo.adb (Write_Field25_Name): Abstract_States can appear in
entities of generic packages.
* sem_ch6.adb (Analyze_Expression_Function): Fix the parent
pointer of an aspect specification list after rewriting takes place.
* sem_ch7.adb (Analyze_Package_Body_Helper): Swap the aspect
specifications of the generic template and the copy used for analysis.
* sem_ch12.adb (Analyze_Generic_Package_Declaration): Swap
the aspect specifications of the generic template and the
copy used for analysis.
(Analyze_Package_Instantiation): Propagate the aspect specifications
from the generic template to the instantiation.
(Build_Instance_Compilation_Unit_Nodes): Propagate the aspect
specifications from the generic template to the instantiation.
* sem_ch13.adb (Analyze_Aspect_Specifications): Handle aspects
Abstract_State, Initializes and Initial_Condition when they
apply to a package instantiation.
2014-02-20 Robert Dewar <dewar@adacore.com>
* stringt.adb: Add call to Initialize in package initialization.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207946
138bc75d-0d04-0410-961f-
82ee72b054a4
2014-02-20 Robert Dewar <dewar@adacore.com>
+ * s-os_lib.ads (Rename_File): Minor commment addition.
+
+2014-02-20 Thomas Quinot <quinot@adacore.com>
+
+ * einfo.ads: Minor reformatting.
+
+2014-02-20 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * aspects.adb (Exchange_Aspects): New routine.
+ * aspects.ads (Exchange_Aspects): New routine.
+ * atree.adb (Rewrite): Do not check whether the save node has
+ aspects as it never will, instead check the node about to be clobbered.
+ * einfo.adb (Write_Field25_Name): Abstract_States can appear in
+ entities of generic packages.
+ * sem_ch6.adb (Analyze_Expression_Function): Fix the parent
+ pointer of an aspect specification list after rewriting takes place.
+ * sem_ch7.adb (Analyze_Package_Body_Helper): Swap the aspect
+ specifications of the generic template and the copy used for analysis.
+ * sem_ch12.adb (Analyze_Generic_Package_Declaration): Swap
+ the aspect specifications of the generic template and the
+ copy used for analysis.
+ (Analyze_Package_Instantiation): Propagate the aspect specifications
+ from the generic template to the instantiation.
+ (Build_Instance_Compilation_Unit_Nodes): Propagate the aspect
+ specifications from the generic template to the instantiation.
+ * sem_ch13.adb (Analyze_Aspect_Specifications): Handle aspects
+ Abstract_State, Initializes and Initial_Condition when they
+ apply to a package instantiation.
+
+2014-02-20 Robert Dewar <dewar@adacore.com>
+
+ * stringt.adb: Add call to Initialize in package initialization.
+
+2014-02-20 Robert Dewar <dewar@adacore.com>
+
* a-crbtgk.adb, a-cihama.adb, a-coinve.adb, a-ciorse.adb, a-crbtgo.adb,
a-cidlli.adb, a-cimutr.adb, a-cihase.adb, a-cohama.adb, a-coorse.adb,
a-chtgke.adb, a-chtgop.adb, a-comutr.adb, a-ciorma.adb, a-cobove.adb,
return True;
end Aspects_On_Body_Or_Stub_OK;
+ ----------------------
+ -- Exchange_Aspects --
+ ----------------------
+
+ procedure Exchange_Aspects (N1 : Node_Id; N2 : Node_Id) is
+ begin
+ pragma Assert
+ (Permits_Aspect_Specifications (N1)
+ and then Permits_Aspect_Specifications (N2));
+
+ -- Perform the exchange only when both nodes have lists to be swapped
+
+ if Has_Aspects (N1) and then Has_Aspects (N2) then
+ declare
+ L1 : constant List_Id := Aspect_Specifications (N1);
+ L2 : constant List_Id := Aspect_Specifications (N2);
+ begin
+ Set_Parent (L1, N2);
+ Set_Parent (L2, N1);
+ Aspect_Specifications_Hash_Table.Set (N1, L2);
+ Aspect_Specifications_Hash_Table.Set (N2, L1);
+ end;
+ end if;
+ end Exchange_Aspects;
+
-----------------
-- Find_Aspect --
-----------------
-- N denotes a body [stub] with aspects. Determine whether all aspects of N
-- are allowed to appear on a body [stub].
+ procedure Exchange_Aspects (N1 : Node_Id; N2 : Node_Id);
+ -- Exchange the aspect specifications of two nodes. If either node lacks an
+ -- aspect specification list, the routine has no effect. It is assumed that
+ -- both nodes can support aspects.
+
function Find_Aspect (Id : Entity_Id; A : Aspect_Id) return Node_Id;
-- Find the aspect specification of aspect A associated with entity I.
-- Return Empty if Id does not have the requested aspect.
-- Both the old and new copies of the node will share the same list
-- of aspect specifications if aspect specifications are present.
- if Has_Aspects (Sav_Node) then
- Set_Has_Aspects (Sav_Node, False);
+ if Old_Has_Aspects then
Set_Aspect_Specifications
(Sav_Node, Aspect_Specifications (Old_Node));
end if;
procedure Write_Field25_Name (Id : Entity_Id) is
begin
case Ekind (Id) is
- when E_Package =>
+ when E_Generic_Package |
+ E_Package =>
Write_Str ("Abstract_States");
when E_Variable =>
-- in a Relative_Deadline pragma for a task type.
-- Renamed_Entity (Node18)
--- Defined in exceptions, packages, subprograms and generic units. Set
+-- Defined in exceptions, packages, subprograms, and generic units. Set
-- for entities that are defined by a renaming declaration. Denotes the
-- renamed entity, or transitively the ultimate renamed entity if
-- there is a chain of renaming declarations. Empty if no renaming.
-- Renamed_In_Spec (Flag231)
-
-- Defined in package entities. If a package renaming occurs within
-- a package spec, then this flag is set on the renamed package. The
-- purpose is to prevent a warning about unused entities in the renamed
New_Name : String;
Success : out Boolean);
-- Rename a file. Success is set True or False indicating if the rename is
- -- successful or not.
+ -- successful or not. Note that on some Systems (notably Windows), if there
+ -- is already an existing file with the name New_Name, that is one of the
+ -- conditions that can cause failure.
-- The following defines the mode for the Copy_File procedure below. Note
-- that "time stamps and other file attributes" in the descriptions below
New_N := Copy_Generic_Node (N, Empty, Instantiating => False);
Set_Parent_Spec (New_N, Save_Parent);
Rewrite (N, New_N);
+
+ -- Once the contents of the generic copy and the template are swapped,
+ -- do the same for their respective aspect specifications.
+
+ Exchange_Aspects (N, New_N);
Id := Defining_Entity (N);
Generate_Definition (Id);
Check_References (Id);
end if;
end if;
-
end Analyze_Generic_Package_Declaration;
--------------------------------------------
Make_Package_Renaming_Declaration (Loc,
Defining_Unit_Name =>
Make_Defining_Identifier (Loc, Chars (Gen_Unit)),
- Name => New_Occurrence_Of (Act_Decl_Id, Loc));
+ Name => New_Occurrence_Of (Act_Decl_Id, Loc));
Append (Unit_Renaming, Renaming_List);
Make_Package_Declaration (Loc,
Specification => Act_Spec);
+ -- Propagate the aspect specifications from the package declaration
+ -- template to the instantiated version of the package declaration.
+
+ if Has_Aspects (Act_Tree) then
+ Set_Aspect_Specifications (Act_Decl,
+ New_Copy_List_Tree (Aspect_Specifications (Act_Tree)));
+ end if;
+
-- Save the instantiation node, for subsequent instantiation of the
-- body, if there is one and we are generating code for the current
-- unit. Mark unit as having a body (avoids premature error message).
Unit => Act_Decl,
Aux_Decls_Node => Make_Compilation_Unit_Aux (Sloc (N)));
- Set_Parent_Spec (Act_Decl, Parent_Spec (N));
+ Set_Parent_Spec (Act_Decl, Parent_Spec (N));
-- The new compilation unit is linked to its body, but both share the
-- same file, so we do not set Body_Required on the new unit so as not
-- compilation unit of the instance, since this is the main unit.
Rewrite (N, Act_Body);
+
+ -- Propagate the aspect specifications from the package body template to
+ -- the instantiated version of the package body.
+
+ if Has_Aspects (Act_Body) then
+ Set_Aspect_Specifications
+ (N, New_Copy_List_Tree (Aspect_Specifications (Act_Body)));
+ end if;
+
Body_Cunit := Parent (N);
-- The two compilation unit nodes are linked by the Library_Unit field
-- immediately.
when Aspect_Abstract_State => Abstract_State : declare
- Decls : List_Id;
+ Context : Node_Id := N;
+ Decls : List_Id;
begin
- if Nkind_In (N, N_Generic_Package_Declaration,
- N_Package_Declaration)
+ -- When aspect Abstract_State appears on a generic package,
+ -- it is propageted to the package instance. The context in
+ -- this case is the instance spec.
+
+ if Nkind (Context) = N_Package_Instantiation then
+ Context := Instance_Spec (Context);
+ end if;
+
+ if Nkind_In (Context, N_Generic_Package_Declaration,
+ N_Package_Declaration)
then
- Decls := Visible_Declarations (Specification (N));
+ Decls := Visible_Declarations (Specification (Context));
Make_Aitem_Pragma
(Pragma_Argument_Associations => New_List (
if No (Decls) then
Decls := New_List;
- Set_Visible_Declarations (N, Decls);
+ Set_Visible_Declarations (Context, Decls);
end if;
Prepend_To (Decls, Aitem);
-- it must be evaluated at the end of the said declarations.
when Aspect_Initial_Condition => Initial_Condition : declare
- Decls : List_Id;
+ Context : Node_Id := N;
+ Decls : List_Id;
begin
- if Nkind_In (N, N_Generic_Package_Declaration,
- N_Package_Declaration)
+ -- When aspect Abstract_State appears on a generic package,
+ -- it is propageted to the package instance. The context in
+ -- this case is the instance spec.
+
+ if Nkind (Context) = N_Package_Instantiation then
+ Context := Instance_Spec (Context);
+ end if;
+
+ if Nkind_In (Context, N_Generic_Package_Declaration,
+ N_Package_Declaration)
then
- Decls := Visible_Declarations (Specification (N));
+ Decls := Visible_Declarations (Specification (Context));
Make_Aitem_Pragma
(Pragma_Argument_Associations => New_List (
if No (Decls) then
Decls := New_List;
- Set_Visible_Declarations (N, Decls);
+ Set_Visible_Declarations (Context, Decls);
end if;
Prepend_To (Decls, Aitem);
-- said declarations.
when Aspect_Initializes => Initializes : declare
- Decls : List_Id;
+ Context : Node_Id := N;
+ Decls : List_Id;
begin
- if Nkind_In (N, N_Generic_Package_Declaration,
- N_Package_Declaration)
+ -- When aspect Abstract_State appears on a generic package,
+ -- it is propageted to the package instance. The context in
+ -- this case is the instance spec.
+
+ if Nkind (Context) = N_Package_Instantiation then
+ Context := Instance_Spec (Context);
+ end if;
+
+ if Nkind_In (Context, N_Generic_Package_Declaration,
+ N_Package_Declaration)
then
- Decls := Visible_Declarations (Specification (N));
+ Decls := Visible_Declarations (Specification (Context));
Make_Aitem_Pragma
(Pragma_Argument_Associations => New_List (
if No (Decls) then
Decls := New_List;
- Set_Visible_Declarations (N, Decls);
+ Set_Visible_Declarations (Context, Decls);
end if;
Prepend_To (Decls, Aitem);
Generate_Reference (Prev, Defining_Entity (N), 'b', Force => True);
Rewrite (N, New_Body);
+ -- Correct the parent pointer of the aspect specification list to
+ -- reference the rewritten node.
+
+ if Has_Aspects (N) then
+ Set_Parent (Aspect_Specifications (N), N);
+ end if;
+
-- Propagate any pragmas that apply to the expression function to the
-- proper body when the expression function acts as a completion.
-- Aspects are automatically transfered because of node rewriting.
Make_Subprogram_Declaration (Loc, Specification => Spec);
Rewrite (N, New_Decl);
+
+ -- Correct the parent pointer of the aspect specification list to
+ -- reference the rewritten node.
+
+ if Has_Aspects (N) then
+ Set_Parent (Aspect_Specifications (N), N);
+ end if;
+
Analyze (N);
Set_Is_Inlined (Defining_Entity (New_Decl));
New_N := Copy_Generic_Node (N, Empty, Instantiating => False);
Rewrite (N, New_N);
+ -- Once the contents of the generic copy and the template are
+ -- swapped, do the same for their respective aspect specifications.
+
+ Exchange_Aspects (N, New_N);
+
-- Update Body_Id to point to the copied node for the remainder of
-- the processing.
-- Setup the null string
begin
+ Initialize;
Start_String;
Null_String_Id := End_String;
projects / platform / upstream / linaro-gcc.git / commitdiff