From 243a9c4c6b26686ec393a6dcaae3902d26859d56 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 20 Nov 2023 10:33:46 +0000 Subject: [PATCH] C library check: do not warn about the need for MMX We provide stubs of some MMX functions. Our use of them, however, is not conditional on MMX being enabled. No need for GCC to warn about this. Fixes: #8049 --- src/ansi-c/library_check.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ansi-c/library_check.sh b/src/ansi-c/library_check.sh index 8f882cef77d..9a7f8671645 100755 --- a/src/ansi-c/library_check.sh +++ b/src/ansi-c/library_check.sh @@ -15,7 +15,7 @@ for f in "$@"; do $CC -std=gnu11 -E -include library/cprover.h -D__CPROVER_bool=_Bool -D__CPROVER_thread_local=__thread -DLIBRARY_CHECK -o __libcheck.i __libcheck.c $CC -S -Wall -Werror -pedantic -Wextra -std=gnu11 __libcheck.i \ -o __libcheck.s -Wno-unused-label -Wno-unknown-pragmas \ - -Wno-gnu-line-marker -Wno-unknown-warning-option + -Wno-gnu-line-marker -Wno-unknown-warning-option -Wno-psabi ec="${?}" rm __libcheck.s __libcheck.i __libcheck.c [ "${ec}" -eq 0 ] || exit "${ec}"