diff --git a/tests/regression/39-signed-overflows/06-abs.c b/tests/regression/39-signed-overflows/06-abs.c
index e56cc9ff7d..1323434cbc 100644
--- a/tests/regression/39-signed-overflows/06-abs.c
+++ b/tests/regression/39-signed-overflows/06-abs.c
@@ -17,6 +17,13 @@ int main() {
             __goblint_check(-100 <= data);
             int result = data * data; //NOWARN
         }
+
+        if(abs(data) - 1 <= 99)
+        {
+            __goblint_check(data <= 100);
+            __goblint_check(-100 <= data);
+            int result = data * data; //NOWARN
+        }
     }
     return 8;
 }
\ No newline at end of file