Merge pull request #237 from xbauch/feature/process-system-package

Process system package

Author: petr-bauch

experiments/golden-results/StratoX-summary.txt

@@ -8,7 +8,7 @@ Calling function: Process_Declaration
 Error message: Unknown declaration kind
 Nkind: N_Freeze_Generic_Entity
 --
-Occurs: 102 times
+Occurs: 104 times
 Calling function: Do_Function_Call
 Error message: func name not in symbol table
 Nkind: N_Function_Call

experiments/golden-results/Tokeneer-summary.txt

@@ -1057,3 +1057,8 @@ Occurs: 1 times
 Redacted compiler error message:
 range must be preceded by subtype mark
 Raw compiler error message:
+--
+Occurs: 1 times
++===========================GNAT BUG DETECTED==============================+
+| GNU Ada (ada2goto) Assert_Failure failed precondition from arrays.ads:51 |
+| Error detected at system.ads:156:5                                       |

experiments/golden-results/muen-summary.txt

@@ -49,6 +49,11 @@ Error message: This type of library_unit is not yet handled
 Nkind: N_Generic_Subprogram_Declaration
 --
 Occurs: 9 times
+Calling function: Do_Function_Call
+Error message: func name not in symbol table
+Nkind: N_Function_Call
+--
+Occurs: 9 times
 Calling function: Do_Withed_Unit_Spec
 Error message: This type of library_unit is not yet handled
 Nkind: N_Generic_Package_Declaration
@@ -79,11 +84,6 @@ Error message: Constant Type not in symbol table
 Nkind: N_Integer_Literal
 --
 Occurs: 7 times
-Calling function: Do_Function_Call
-Error message: func name not in symbol table
-Nkind: N_Function_Call
---
-Occurs: 7 times
 Calling function: Do_Itype_Integer_Subtype
 Error message: Non-literal bound unsupported
 Nkind: N_Defining_Identifier

gnat2goto/driver/tree_walk.adb

@@ -1,4 +1,3 @@
-with Uname;                 use Uname;
 with Namet;                 use Namet;
 with Nlists;                use Nlists;
 with Sem;
@@ -1028,6 +1027,9 @@ package body Tree_Walk is
                Dummy : constant Irep := Do_Subprogram_Or_Block (U);
                pragma Unreferenced (Dummy);
             begin
+            --  The specification of the package body has already
+            --  been inserted into the symbol table by the call to
+            --  Do_Withed_Unit_Specs.
                pragma Assert (Global_Symbol_Table.Contains (Unit_Name));
                Unit_Symbol := Global_Symbol_Table (Unit_Name);
                Unit_Is_Subprogram := False;
@@ -4365,12 +4367,10 @@ package body Tree_Walk is
    -------------------------
 
    procedure Do_Withed_Unit_Spec (N : Node_Id) is
-      Unit_Name : constant String := Get_Name_String (Get_Unit_Name (N));
    begin
-      if Defining_Entity (N) = Stand.Standard_Standard or else
-        Unit_Name = "system%s"
-      then
-         --  At the moment Standard or System are not processed: TODO
+      if Defining_Entity (N) = Stand.Standard_Standard then
+         --  TODO: github issue #252
+         --  At the moment Standard is not processed
          null;
       else
          --  Handle all other withed library unit declarations