chore: make cbmc proof build more strict by adding -Werror flag (#4606)

jouho · web-flow · commit 84c4b704e3f2 · 2024-06-24T15:53:00.000-07:00
diff --git a/tests/cbmc/aws-verification-model-for-libcrypto b/tests/cbmc/aws-verification-model-for-libcrypto
@@ -1 +1 @@
-Subproject commit 440a07ca02d60ff8158cb99fb89833de35d76ae6
+Subproject commit d732f7257fc569e1be32d34037b111af0a058ab0
diff --git a/tests/cbmc/proofs/Makefile.common b/tests/cbmc/proofs/Makefile.common
@@ -299,8 +299,8 @@ CHECKFLAGS += $(CBMC_FLAG_UNSIGNED_OVERFLOW_CHECK)
 NONDET_STATIC ?=
 
 # Flags to pass to goto-cc for compilation and linking
-COMPILE_FLAGS ?= -Wall
-LINK_FLAGS ?= -Wall
+COMPILE_FLAGS ?= -Wall -Werror
+LINK_FLAGS ?= -Wall -Werror
 EXPORT_FILE_LOCAL_SYMBOLS ?= --export-file-local-symbols
 
 # During instrumentation, it adds models of C library functions
