===================================================================
@@ -4180,7 +4180,7 @@ package body Sem_Ch3 is
end if;
end if;
- -- Make sure that generic actual types are properly frozen The subtype
+ -- Make sure that generic actual types are properly frozen. The subtype
-- is marked as a generic actual type when the enclosing instance is
-- analyzed, so here we identify the subtype from the tree structure.
@@ -4191,7 +4191,7 @@ package body Sem_Ch3 is
and then Nkind (Subtype_Indication (N)) /= N_Subtype_Indication
and then Is_Frozen (T)
then
- Insert_Actions (N, Freeze_Entity (Id, N));
+ Freeze_Before (N, Id);
end if;
Set_Optimize_Alignment_Flags (Id);
===================================================================
@@ -7921,7 +7921,7 @@ package body Sem_Attr is
-- Avoid insertion of freeze actions in spec expression mode
if not In_Spec_Expression then
- Insert_Actions (N, Freeze_Entity (Entity (P), N));
+ Freeze_Before (N, Entity (P));
end if;
elsif Is_Type (Entity (P)) then
===================================================================
@@ -5459,7 +5459,7 @@ package body Exp_Ch6 is
Push_Scope (Scope (Scop));
Analyze (Prot_Decl);
- Insert_Actions (N, Freeze_Entity (Prot_Id, N));
+ Freeze_Before (N, Prot_Id);
Set_Protected_Body_Subprogram (Subp, Prot_Id);
-- Create protected operation as well. Even though the operation
@@ -5699,7 +5699,7 @@ package body Exp_Ch6 is
(Corresponding_Record_Type (Scop), Loc))));
Insert_Actions (N, Decls);
- Insert_Actions (N, Freeze_Entity (Obj_Ptr, N));
+ Freeze_Before (N, Obj_Ptr);
Rec :=
Make_Explicit_Dereference (Loc,
===================================================================
@@ -2167,7 +2167,7 @@ package body Sem_Ch6 is
-- why, to be investigated further???
Set_Has_Delayed_Freeze (Spec_Id);
- Insert_Actions (N, Freeze_Entity (Spec_Id, N));
+ Freeze_Before (N, Spec_Id);
end if;
end if;