1 files changed, 7 insertions, 0 deletions
diff --git a/src/grt/grt-processes.adb b/src/grt/grt-processes.adb
index c10c0ac95..a4850d9ad 100644
--- a/src/grt/grt-processes.adb
+++ b/src/grt/grt-processes.adb
@@ -807,6 +807,13 @@ package body Grt.Processes is
                Set_Current_Process (Proc);
                Proc.Subprg.all (Proc.This);
                if Grt.Options.Checks then
+                  if Proc.State = State_Sensitized
+                    and then not Is_Empty (Proc.Stack2)
+                  then
+                     --  A non-sensitized process may store its state
+                     --  on stack2.
+                     Internal_Error ("non-empty stack2");
+                  end if;
                   Ghdl_Signal_Internal_Checks;
                end if;
             end;