From 74c13245329ca052bd5e529ebb6230562504dfee Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 5 Mar 2022 07:24:46 +0100
Subject: grt-signals.adb: Suppress overflow check before manual check.  Fix
 #1994

---
 src/grt/grt-signals.adb | 17 +++++++++++------
 1 file 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
-- 
cgit v1.2.3