diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-03-05 07:24:46 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-03-05 07:24:46 +0100 |
| commit | 74c13245329ca052bd5e529ebb6230562504dfee (patch) | |
| tree | df0b55bf17c2776fc910679055d9356d49aa9ca3 /src | |
| parent | b2004fe30edc17a7534d510dedfdcdeb205adfae (diff) | |
| download | ghdl-74c13245329ca052bd5e529ebb6230562504dfee.tar.gz ghdl-74c13245329ca052bd5e529ebb6230562504dfee.tar.bz2 ghdl-74c13245329ca052bd5e529ebb6230562504dfee.zip | |
grt-signals.adb: Suppress overflow check before manual check. Fix #1994
Diffstat (limited to 'src')
| -rw-r--r-- | src/grt/grt-signals.adb | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/src/grt/grt-signals.adb b/src/grt/grt-signals.adb index 9b669ee2f..ad678e728 100644 --- a/src/grt/grt-signals.adb +++ b/src/grt/grt-signals.adb @@ -720,12 +720,17 @@ package body Grt.Signals is Insert_Future_List (Sign); end if; - Assign_Time := Current_Time + After; - if Assign_Time < 0 then - -- Beyond the future - Free_In (Trans); - return; - end if; + declare + -- We don't want an overflow check, it's done manually. + pragma Suppress (Overflow_Check); + begin + Assign_Time := Current_Time + After; + if Assign_Time < 0 then + -- Beyond the future + Free_In (Trans); + return; + end if; + end; -- Handle sign as direct driver. if Driver.Last_Trans.Kind = Trans_Direct then |