diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-06-04 03:59:37 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-06-04 13:39:09 +0200 |
commit | 5737c17897993f46504dc728f9546f0dacddee15 (patch) | |
tree | 0a862a3495d72112baa3c01ec57cf213838b0061 /src/grt/grt-processes.adb | |
parent | 25c87cda93867626e73fe95476e8c7acfeabf23f (diff) | |
download | ghdl-5737c17897993f46504dc728f9546f0dacddee15.tar.gz ghdl-5737c17897993f46504dc728f9546f0dacddee15.tar.bz2 ghdl-5737c17897993f46504dc728f9546f0dacddee15.zip |
grt: add check for empty stack2.
Diffstat (limited to 'src/grt/grt-processes.adb')
-rw-r--r-- | src/grt/grt-processes.adb | 7 |
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; |