Disable some GCC 14 errors in tests

goblint · Jul 26, 2024 · 70a4303 · 70a4303
1 parent a1b28f2
commit 70a4303
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/Makefile b/test/Makefile
@@ -127,6 +127,9 @@ ifdef SEPARATE
   CILLY+= --nomerge
 endif
 
+# Disable GCC 14 new warnings as errors because some tests contain them
+CFLAGS += -Wno-error=implicit-int -Wno-error=implicit-function-declaration -Wno-error=int-conversion -Wno-error=incompatible-pointer-types
+
 # sm: this will make gcc warnings into errors; it's almost never
 # what we want, but for a particular testcase (combine_copyptrs)
 # I need it to show the difference between something which works