From 1175022effb95bd3fe8dd0798397f33878d436f2 Mon Sep 17 00:00:00 2001 From: Kamil Dudka Date: Fri, 1 Mar 2024 14:08:55 +0100 Subject: [PATCH] sl/tests: make the code compile with gcc-14 Related: https://github.com/kdudka/predator/pull/92 Related: https://github.com/kdudka/predator/pull/93 --- tests/predator-regre/test-0170.c | 2 +- tests/predator-regre/test-0183.c | 2 +- tests/predator-regre/test-0184.c | 2 +- tests/predator-regre/test-0240.c | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/predator-regre/test-0170.c b/tests/predator-regre/test-0170.c index 34eed4461..a9478d9b8 100644 --- 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 index d9046dc52..47816713d 100644 --- a/tests/predator-regre/test-0183.c +++ b/tests/predator-regre/test-0183.c @@ -1,6 +1,6 @@ #include -extern int __VERIFIER_nondet_int(void); +#include static void fail(void) { ERROR: diff --git a/tests/predator-regre/test-0184.c b/tests/predator-regre/test-0184.c index cd6b8cf09..620b5ba51 100644 --- a/tests/predator-regre/test-0184.c +++ b/tests/predator-regre/test-0184.c @@ -1,6 +1,6 @@ #include -extern int __VERIFIER_nondet_int(void); +#include static void fail(void) { ERROR: diff --git a/tests/predator-regre/test-0240.c b/tests/predator-regre/test-0240.c index b42edc99e..d4495f200 100644 --- a/tests/predator-regre/test-0240.c +++ b/tests/predator-regre/test-0240.c @@ -1,6 +1,6 @@ #include -extern int __VERIFIER_nondet_int(void); +#include struct node { struct node *next;