ghdlsimul: do late semantic checks

1 files changed, 19 insertions, 1 deletions

diff --git a/src/ghdldrv/ghdlsimul.adb b/src/ghdldrv/ghdlsimul.adb
index 1e5c0f557..42873d0e0 100644
--- a/src/ghdldrv/ghdlsimul.adb
+++ b/src/ghdldrv/ghdlsimul.adb
@@ -30,8 +30,9 @@ with Simple_IO;
 
 with Vhdl.Nodes; use Vhdl.Nodes;
 with Vhdl.Std_Package;
+with Vhdl.Sem;
 with Vhdl.Canon;
-
+with Vhdl.Configuration;
 
 with Grt.Options;
 with Grt.Types;
@@ -81,6 +82,23 @@ package body Ghdlsimul is
    begin
       Common_Compile_Elab (Cmd_Name, Args, True, Opt_Arg, Config);
 
+      --  If all design units are loaded, late semantic checks can be
+      --  performed.
+      declare
+         use Vhdl.Configuration;
+         Unit : Node;
+      begin
+         if Flag_Load_All_Design_Units then
+            for I in Design_Units.First .. Design_Units.Last loop
+               Unit := Design_Units.Table (I);
+               Vhdl.Sem.Sem_Analysis_Checks_List (Unit, False);
+               --  There cannot be remaining checks to do.
+               pragma Assert
+                 (Get_Analysis_Checks_List (Unit) = Null_Iir_List);
+            end loop;
+         end if;
+      end;
+
       for I in Opt_Arg .. Args'Last loop
          if Args (I).all = "--expect-failure" then
             Flag_Expect_Failure := True;