diff options
| author | gingold | 2008-06-02 04:38:41 +0000 |
|---|---|---|
| committer | gingold | 2008-06-02 04:38:41 +0000 |
| commit | 55b1d510131724ec767a7a1eef0665c6bf86bedc (patch) | |
| tree | af76830d247d54211fd4355c77530ba3aeaf8aba /translate/grt/grt-signals.adb | |
| parent | 1a936bad663149eeb814bbef68a08d297314fb50 (diff) | |
| download | ghdl-55b1d510131724ec767a7a1eef0665c6bf86bedc.tar.gz ghdl-55b1d510131724ec767a7a1eef0665c6bf86bedc.tar.bz2 ghdl-55b1d510131724ec767a7a1eef0665c6bf86bedc.zip | |
Fix 'delayed(0) at time 0
Diffstat (limited to 'translate/grt/grt-signals.adb')
| -rw-r--r-- | translate/grt/grt-signals.adb | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/translate/grt/grt-signals.adb b/translate/grt/grt-signals.adb index a0da211..77a453b 100644 --- a/translate/grt/grt-signals.adb +++ b/translate/grt/grt-signals.adb @@ -2709,10 +2709,15 @@ package body Grt.Signals is if Last.Time > Trans.Time then Internal_Error ("delayed time"); elsif Last.Time = Trans.Time then - if Prev = Last then - Internal_Error ("delayed"); + if Prev /= Last then + Free (Last); + else + -- No transaction. + if Last.Time /= 0 then + -- This can happen only at time = 0. + Internal_Error ("delayed"); + end if; end if; - Free (Last); else Prev := Last; end if; |