2012-10-29 Tristan Gingold <gingold@adacore.com>
* bindgen.adb (Gen_Output_File_Ada): Do not emit declaration for
Is_Elaborated if not referenced.
2012-10-29 Tristan Gingold <gingold@adacore.com>
* exp_ch9.adb (Build_Activation_Chain_Entity): Punt in restricted
profile.
* exp_ch3.adb (Build_Initialization_Call): Do no append _Chain
parameter in restricted profile.
(Build_Init_Call_Thru): Likewise.
(Init_Formals): Likewise.
* exp_ch3.adb: Minor reformatting.
From-SVN: r192925
+2012-10-29 Tristan Gingold <gingold@adacore.com>
+
+ * bindgen.adb (Gen_Output_File_Ada): Do not emit declaration for
+ Is_Elaborated if not referenced.
+
+2012-10-29 Tristan Gingold <gingold@adacore.com>
+
+ * exp_ch9.adb (Build_Activation_Chain_Entity): Punt in restricted
+ profile.
+ * exp_ch3.adb (Build_Initialization_Call): Do no append _Chain
+ parameter in restricted profile.
+ (Build_Init_Call_Thru): Likewise.
+ (Init_Formals): Likewise.
+ * exp_ch3.adb: Minor reformatting.
+
2012-10-29 Arnaud Charlet <charlet@adacore.com>
* usage.adb: Update usage line for -gnatw.k.
2012-10-29 Arnaud Charlet <charlet@adacore.com>
* usage.adb: Update usage line for -gnatw.k.
-- The B.1 (39) implementation advice says that the adainit/adafinal
-- routines should be idempotent. Generate a flag to ensure that.
-- The B.1 (39) implementation advice says that the adainit/adafinal
-- routines should be idempotent. Generate a flag to ensure that.
+ -- This is not needed if we are suppressing the standard library
+ -- since it would never be referenced.
+
+ if not Suppress_Standard_Library_On_Target then
+ WBI (" Is_Elaborated : Boolean := False;");
+ end if;
- WBI (" Is_Elaborated : Boolean := False;");
Append_To (Args, Make_Identifier (Loc, Name_uMaster));
end if;
Append_To (Args, Make_Identifier (Loc, Name_uMaster));
end if;
- Append_To (Args, Make_Identifier (Loc, Name_uChain));
+ if not Restricted_Profile then
+
+ -- No _Chain for restricted profile
+
+ Append_To (Args, Make_Identifier (Loc, Name_uChain));
+ end if;
-- Ada 2005 (AI-287): In case of default initialized components
-- with tasks, we generate a null string actual parameter.
-- Ada 2005 (AI-287): In case of default initialized components
-- with tasks, we generate a null string actual parameter.
Append_To (Args, Make_Identifier (Loc, Name_uMaster));
end if;
Append_To (Args, Make_Identifier (Loc, Name_uMaster));
end if;
- Append_To (Args, Make_Identifier (Loc, Name_uChain));
+ if not Restricted_Profile then
+
+ -- No _Chain for restricted profile
+
+ Append_To (Args, Make_Identifier (Loc, Name_uChain));
+ end if;
+
Append_To (Args, Make_Identifier (Loc, Name_uTask_Name));
First_Discr_Param := Next (Next (Next (First_Discr_Param)));
end if;
Append_To (Args, Make_Identifier (Loc, Name_uTask_Name));
First_Discr_Param := Next (Next (Next (First_Discr_Param)));
end if;
Make_Parameter_Specification (Loc,
Defining_Identifier =>
Make_Defining_Identifier (Loc, Name_uMaster),
Make_Parameter_Specification (Loc,
Defining_Identifier =>
Make_Defining_Identifier (Loc, Name_uMaster),
- Parameter_Type => New_Reference_To (RTE (RE_Master_Id), Loc)));
+ Parameter_Type =>
+ New_Reference_To (RTE (RE_Master_Id), Loc)));
- Append_To (Formals,
- Make_Parameter_Specification (Loc,
- Defining_Identifier =>
- Make_Defining_Identifier (Loc, Name_uChain),
- In_Present => True,
- Out_Present => True,
- Parameter_Type =>
- New_Reference_To (RTE (RE_Activation_Chain), Loc)));
+ if not Restricted_Profile then
+
+ -- No _Chain for restricted profile
+
+ Append_To (Formals,
+ Make_Parameter_Specification (Loc,
+ Defining_Identifier =>
+ Make_Defining_Identifier (Loc, Name_uChain),
+ In_Present => True,
+ Out_Present => True,
+ Parameter_Type =>
+ New_Reference_To (RTE (RE_Activation_Chain), Loc)));
+ end if;
Append_To (Formals,
Make_Parameter_Specification (Loc,
Defining_Identifier =>
Make_Defining_Identifier (Loc, Name_uTask_Name),
Append_To (Formals,
Make_Parameter_Specification (Loc,
Defining_Identifier =>
Make_Defining_Identifier (Loc, Name_uTask_Name),
- In_Present => True,
- Parameter_Type =>
- New_Reference_To (Standard_String, Loc)));
+ In_Present => True,
+ Parameter_Type => New_Reference_To (Standard_String, Loc)));
(RTE (RE_Set_Dynamic_Offset_To_Top), Loc),
Parameter_Associations => New_List (
Make_Attribute_Reference (Loc,
(RTE (RE_Set_Dynamic_Offset_To_Top), Loc),
Parameter_Associations => New_List (
Make_Attribute_Reference (Loc,
- Prefix => New_Copy_Tree (Target),
+ Prefix => New_Copy_Tree (Target),
Attribute_Name => Name_Address),
Unchecked_Convert_To (RTE (RE_Tag),
Attribute_Name => Name_Address),
Unchecked_Convert_To (RTE (RE_Tag),
Make_Attribute_Reference (Loc,
Prefix =>
Make_Selected_Component (Loc,
Make_Attribute_Reference (Loc,
Prefix =>
Make_Selected_Component (Loc,
- Prefix => New_Copy_Tree (Target),
+ Prefix => New_Copy_Tree (Target),
Selector_Name =>
New_Reference_To (Tag_Comp, Loc)),
Attribute_Name => Name_Position)),
Selector_Name =>
New_Reference_To (Tag_Comp, Loc)),
Attribute_Name => Name_Position)),
(Offset_To_Top_Comp, Loc)),
Expression =>
Make_Attribute_Reference (Loc,
(Offset_To_Top_Comp, Loc)),
Expression =>
Make_Attribute_Reference (Loc,
Make_Selected_Component (Loc,
Make_Selected_Component (Loc,
- Prefix => New_Copy_Tree (Target),
- Selector_Name =>
- New_Reference_To (Tag_Comp, Loc)),
+ Prefix => New_Copy_Tree (Target),
+ Selector_Name => New_Reference_To (Tag_Comp, Loc)),
Attribute_Name => Name_Position)));
-- Normal case: No discriminants in the parent type
else
Attribute_Name => Name_Position)));
-- Normal case: No discriminants in the parent type
else
- -- Don't need to set any value if this interface shares
- -- the primary dispatch table.
+ -- Don't need to set any value if this interface shares the
+ -- primary dispatch table.
if not Is_Ancestor (Iface, Typ, Use_Full_View => True) then
Append_To (Stmts_List,
if not Is_Ancestor (Iface, Typ, Use_Full_View => True) then
Append_To (Stmts_List,
-- Start of processing for Build_Activation_Chain_Entity
begin
-- Start of processing for Build_Activation_Chain_Entity
begin
+ -- Activation chain is never used in restricted profile
+
+ if Restricted_Profile then
+ return;
+ end if;
+
Find_Enclosing_Context (N, Context, Context_Id, Decls);
-- If an activation chain entity has not been declared already, create
Find_Enclosing_Context (N, Context, Context_Id, Decls);
-- If an activation chain entity has not been declared already, create