diff options
Diffstat (limited to 'src/grt')
| -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 |