[gcc r13-835] [Ada] Do not freeze specifically for dispatch tables

[gcc r13-835] [Ada] Do not freeze specifically for dispatch tables

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:878ded4f9a974bbcf90346d746daa5eeebdd7bd6

commit r13-835-g878ded4f9a974bbcf90346d746daa5eeebdd7bd6
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Sat Apr 23 01:09:39 2022 +0200

    [Ada] Do not freeze specifically for dispatch tables
    
    The left-overs of the old freezing code in Make_DT are now redundant since
    the semantic analyzer performs the same task for the 'Access attribute.
    
    gcc/ada/
    
            * exp_disp.adb (Make_DT): Remove remaining freezing code.

Diff:
---
 gcc/ada/exp_disp.adb | 29 -----------------------------
 1 file changed, 29 deletions(-)

diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb
index a0a34496541..1f43458294b 100644
--- a/gcc/ada/exp_disp.adb
+++ b/gcc/ada/exp_disp.adb
@@ -4469,35 +4469,6 @@ package body Exp_Disp is
          Parent_Typ := Full_View (Parent_Typ);
       end if;
 
-      --  Ensure that all the primitives are frozen. This is only required when
-      --  building static dispatch tables: the primitives must be frozen to be
-      --  referenced, otherwise we have problems with the back end. But this is
-      --  not a requirement with nonstatic dispatch tables because in this case
-      --  we generate an empty dispatch table at this point and the extra code
-      --  required to register the primitives in their slot will be generated
-      --  later, when each primitive is frozen (see Freeze_Subprogram).
-
-      if Building_Static_DT (Typ) then
-         declare
-            F_List    : List_Id;
-            Prim      : Entity_Id;
-            Prim_Elmt : Elmt_Id;
-
-         begin
-            Prim_Elmt := First_Elmt (Primitive_Operations (Typ));
-            while Present (Prim_Elmt) loop
-               Prim   := Node (Prim_Elmt);
-               F_List := Freeze_Entity (Prim, Typ, Do_Freeze_Profile => False);
-
-               if Present (F_List) then
-                  Append_List_To (Result, F_List);
-               end if;
-
-               Next_Elmt (Prim_Elmt);
-            end loop;
-         end;
-      end if;
-
       if not Is_Interface (Typ) and then Has_Interfaces (Typ) then
          declare
             Cannot_Have_Null_Disc : Boolean := False;