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))