fix compatibility issues with gcc-14.x

cl/gcc/clplug.c

@@ -477,7 +477,7 @@ static void var_db_insert(var_db_t db, struct cl_var *var)
 
 static bool error_detected(void)
 {
-    return global_dc && global_dc->diagnostic_count[DK_ERROR];
+    return global_dc && errorcount;
 }
 
 static void read_gcc_location(struct cl_loc *loc, location_t gcc_loc)

cl/tests/data/pt-0850.c

@@ -13,5 +13,5 @@ int *ptrA, *ptrB, *ptrC;
 int main()
 {
     ptrA = ptrB;
-    ptrB = &ptrC;
+    ptrB = (void *) &ptrC;
 }

cl/tests/data/pt-0950.c

@@ -10,15 +10,15 @@ int test(int *p)
     // Note that we are accessing local variable!  This is just for points-to
     // test purposes.
 
-    *p = &i;
+    *p = (long) &i;
 }
 
 
 int main(int argc, char **argv)
 {
     int i, j;
 
-    i = &j;
+    i = (long) &j;
 
     // ___cl_pt_points_glob_y(i, j);
 

include/predator-builtins/verifier-builtins.h

@@ -68,6 +68,8 @@ void __VERIFIER_error() __attribute__ ((__noreturn__));
  * sl.h:62:25: error: ‘int __VERIFIER_nondet_int()’ defined but not used
  */
 
+#   include <stdlib.h>          // for abort()
+
 static /* inline */  void ___sl_break(const char *msg)
 {
     (void) msg;

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

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:

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:

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;