Skip to content

Commit 243a9c4

Browse files
committed
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
1 parent 5cfcbc4 commit 243a9c4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/ansi-c/library_check.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ for f in "$@"; do
1515
$CC -std=gnu11 -E -include library/cprover.h -D__CPROVER_bool=_Bool -D__CPROVER_thread_local=__thread -DLIBRARY_CHECK -o __libcheck.i __libcheck.c
1616
$CC -S -Wall -Werror -pedantic -Wextra -std=gnu11 __libcheck.i \
1717
-o __libcheck.s -Wno-unused-label -Wno-unknown-pragmas \
18-
-Wno-gnu-line-marker -Wno-unknown-warning-option
18+
-Wno-gnu-line-marker -Wno-unknown-warning-option -Wno-psabi
1919
ec="${?}"
2020
rm __libcheck.s __libcheck.i __libcheck.c
2121
[ "${ec}" -eq 0 ] || exit "${ec}"

0 commit comments

Comments
 (0)