2010-10-18 Eric Botcazou <ebotcazou@adacore.com>

	* exp_ch6.adb (Expand_N_Subprogram_Declaration): Use Freeze_Before.
	(Expand_Protected_Object_Reference): Likewise.
	* sem_attr.adb (Resolve_Attribute): Likewise.
	* sem_ch3.adb (Analyze_Subtype_Declaration): Likewise.
	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165616 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 274dde2..37b23e9 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,11 @@
+2010-10-18  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * exp_ch6.adb (Expand_N_Subprogram_Declaration): Use Freeze_Before.
+       (Expand_Protected_Object_Reference): Likewise.
+       * sem_attr.adb (Resolve_Attribute): Likewise.
+       * sem_ch3.adb (Analyze_Subtype_Declaration): Likewise.
+       * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Likewise.
+
 2010-10-18  Arnaud Charlet  <charlet@adacore.com>
 
        * g-comlin.adb (Get_Switches): Prevent dereferencing null Config.

diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index e2b5ea8..82a11d3 100644 (file)
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -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,

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 3c8a03d..1691fab 100644 (file)
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -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

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index f78495a..d99db52 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -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);

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index 761bed9..a23aac9 100644 (file)
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -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;