Extract new type entry

and create a wrapper for it.

Author: petr-bauch

gnat2goto/driver/goto_utils.adb

@@ -121,6 +121,20 @@ package body GOTO_Utils is
       return Ret;
    end Symbol_Expr;
 
+   procedure New_Type_Symbol_Entry (Type_Name : Symbol_Id; Type_Of_Type : Irep;
+                                    A_Symbol_Table : in out Symbol_Table) is
+      Type_Symbol : Symbol;
+   begin
+      Type_Symbol.SymType    := Type_Of_Type;
+      Type_Symbol.IsType     := True;
+      Type_Symbol.Name       := Type_Name;
+      Type_Symbol.PrettyName := Type_Name;
+      Type_Symbol.BaseName   := Type_Name;
+      Type_Symbol.Mode       := Intern ("C");
+
+      A_Symbol_Table.Insert (Type_Name, Type_Symbol);
+   end New_Type_Symbol_Entry;
+
    procedure New_Valueless_Object_Symbol_Entry (Constant_Name : Symbol_Id;
                                         A_Symbol_Table : in out Symbol_Table)
    is

gnat2goto/driver/goto_utils.ads

@@ -41,6 +41,10 @@ package GOTO_Utils is
    function Symbol_Expr (Sym : Symbol) return Irep
    with Post => Kind (Symbol_Expr'Result) = I_Symbol_Expr;
 
+   procedure New_Type_Symbol_Entry (Type_Name : Symbol_Id; Type_Of_Type : Irep;
+                                    A_Symbol_Table : in out Symbol_Table)
+     with Pre => Kind (Type_Of_Type) in Class_Type;
+
    procedure New_Valueless_Object_Symbol_Entry (Constant_Name : Symbol_Id;
                                         A_Symbol_Table : in out Symbol_Table);
 

gnat2goto/driver/tree_walk.adb

@@ -4406,17 +4406,12 @@ package body Tree_Walk is
       Number_Str : constant String :=
         Number_Str_Raw (2 .. Number_Str_Raw'Last);
       Fresh_Name : constant String := "__anonymous_type_" & Number_Str;
-      Type_Symbol : Symbol;
    begin
       Anonymous_Type_Counter := Anonymous_Type_Counter + 1;
 
-      Type_Symbol.SymType := Actual_Type;
-      Type_Symbol.IsType := True;
-      Type_Symbol.Name := Intern (Fresh_Name);
-      Type_Symbol.PrettyName := Intern (Fresh_Name);
-      Type_Symbol.BaseName := Intern (Fresh_Name);
-      Type_Symbol.Mode := Intern ("C");
-      Global_Symbol_Table.Insert (Intern (Fresh_Name), Type_Symbol);
+      New_Type_Symbol_Entry (Type_Name      => Intern (Fresh_Name),
+                             Type_Of_Type   => Actual_Type,
+                             A_Symbol_Table => Global_Symbol_Table);
 
       Set_Identifier (Ret, Fresh_Name);