sl/tests: make the code compile with gcc-14

Related: #92 Related: #93
kdudka · Mar 1, 2024 · 1175022 · 1175022
1 parent f916137
commit 1175022
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/tests/predator-regre/test-0170.c b/tests/predator-regre/test-0170.c
@@ -36,7 +36,7 @@ void DLDisposeList (struct TList *L) {
     L->Act = ((void *)0);
     L->Last = ((void *)0);
 }
-
+void DLError(void);
 void DLInsertFirst (struct TList *L) {
     struct TNode * ptr = malloc(sizeof *ptr);
     if (((void *)0)==ptr) {

diff --git a/tests/predator-regre/test-0183.c b/tests/predator-regre/test-0183.c
@@ -1,6 +1,6 @@
 #include <stdlib.h>
 
-extern int __VERIFIER_nondet_int(void);
+#include <verifier-builtins.h>
 
 static void fail(void) {
 ERROR:

diff --git a/tests/predator-regre/test-0184.c b/tests/predator-regre/test-0184.c
@@ -1,6 +1,6 @@
 #include <stdlib.h>
 
-extern int __VERIFIER_nondet_int(void);
+#include <verifier-builtins.h>
 
 static void fail(void) {
 ERROR:

diff --git a/tests/predator-regre/test-0240.c b/tests/predator-regre/test-0240.c
@@ -1,6 +1,6 @@
 #include <stdlib.h>
 
-extern int __VERIFIER_nondet_int(void);
+#include <verifier-builtins.h>
 
 struct node {
     struct node *next;