From a7265c88442e83aa03645de411d2d672b8858b46 Mon Sep 17 00:00:00 2001
From: stilscher <66023521+stilscher@users.noreply.github.com>
Date: Thu, 23 Nov 2023 14:17:01 +0100
Subject: [PATCH] fix headers in tests

---
 tests/regression/39-signed-overflows/07-abs-sqrt.c  | 2 +-
 tests/regression/39-signed-overflows/08-labs.c      | 2 ++
 tests/regression/39-signed-overflows/09-labs-sqrt.c | 2 ++
 3 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/tests/regression/39-signed-overflows/07-abs-sqrt.c b/tests/regression/39-signed-overflows/07-abs-sqrt.c
index 13ed863e51..346d68a76a 100644
--- a/tests/regression/39-signed-overflows/07-abs-sqrt.c
+++ b/tests/regression/39-signed-overflows/07-abs-sqrt.c
@@ -7,4 +7,4 @@ int main() {
         int result = data * data; //NOWARN
     }
     return 8;
-}
\ No newline at end of file
+}
diff --git a/tests/regression/39-signed-overflows/08-labs.c b/tests/regression/39-signed-overflows/08-labs.c
index a9c6773d11..47052196a6 100644
--- a/tests/regression/39-signed-overflows/08-labs.c
+++ b/tests/regression/39-signed-overflows/08-labs.c
@@ -1,5 +1,7 @@
 //PARAM: --enable ana.int.interval --set ana.activated[+] tmpSpecial
 #include<stdlib.h>
+#include<math.h>
+
 int main() {
     long data;
     if (data > (-0xffffffff - 1))
diff --git a/tests/regression/39-signed-overflows/09-labs-sqrt.c b/tests/regression/39-signed-overflows/09-labs-sqrt.c
index 3a4b20a82b..346e2a1757 100644
--- a/tests/regression/39-signed-overflows/09-labs-sqrt.c
+++ b/tests/regression/39-signed-overflows/09-labs-sqrt.c
@@ -1,5 +1,7 @@
 //PARAM: --enable ana.int.interval --enable ana.float.interval --set ana.activated[+] tmpSpecial
+#include<stdlib.h>
 #include<math.h>
+
 int main() {
     int data;
     if (data > (-0x7fffffff - 1) && llabs(data) < (long)sqrt((double)0x7fffffff))