mirror of
https://github.com/versity/scoutfs.git
synced 2025-12-23 13:35:18 +00:00
70bd936213
On el8, sparse is at 0.6.4 in epel-release, but it fails with: ``` [SP src/util.c] src/util.c: note: in included file (through /usr/include/sys/stat.h): /usr/include/bits/statx.h:30:6: error: not a function <noident> /usr/include/bits/statx.h:30:6: error: bad constant expression type ``` This is due to us needing O_DIRECT from <fcntl.h>, so we set _GNU_SOURCE before including it, but this causes (through _USE_GNU in sys/stat.h) statx.h to be included, and that has __has_include, and sparse is too dumb to understand it. Just shut it up. Signed-off-by: Auke Kok <auke.kok@versity.com>
83 lines
2.3 KiB
Bash
Executable File
83 lines
2.3 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
# must have sparse. Fail with error message, mask success path.
|
|
which sparse > /dev/null || exit 1
|
|
|
|
#
|
|
# one of the problems with using sparse in userspace is that it picks up
|
|
# things in system headers that we don't care about. We're willing to
|
|
# take on the burden of filtering them out so that we can have it tell
|
|
# us about problems in our code.
|
|
#
|
|
# system headers using __transparent_union__
|
|
RE="^/.*error: ignoring attribute __transparent_union__"
|
|
|
|
# we don't care if system headers have gcc attributes sparse doesn't
|
|
# know about
|
|
RE="$RE|error: attribute '__leaf__': unknown attribute"
|
|
|
|
# yes, sparse, that's the size of memseting a 4 meg buffer all right
|
|
RE="$RE|warning: memset with byte count of 4194304"
|
|
|
|
# some sparse versions don't know about some builtins
|
|
RE="$RE|error: undefined identifier '__builtin_fpclassify'"
|
|
|
|
# on el8, sparse can't handle __has_include for some reason when _GNU_SOURCE
|
|
# is defined, and we need that for O_DIRECT.
|
|
RE="$RE|note: in included file .through /usr/include/sys/stat.h.:"
|
|
RE="$RE|/usr/include/bits/statx.h:30:6: error: "
|
|
|
|
#
|
|
# don't filter out 'too many errors' here, it can signify that
|
|
# sparse doesn't understand something and is throwing a *ton*
|
|
# of useless errors before giving up and existing. Check
|
|
# unfiltered sparse output.
|
|
#
|
|
|
|
#
|
|
# I'm not sure this is needed.
|
|
#
|
|
search=$(gcc -print-search-dirs | awk '($1 == "install:"){print "-I" $2}')
|
|
|
|
#
|
|
# We're trying to use sparse against glibc headers which go wild trying to
|
|
# use internal compiler macros to test features. We copy gcc's and give
|
|
# them to sparse, but not the ones that sparse already has.
|
|
#
|
|
defines=".sparse.gcc-defines.$$.h"
|
|
awk '
|
|
# save defines from gcc
|
|
( FNR == NR ) { lines[$2]=$0 }
|
|
|
|
# delete defines that sparse also has
|
|
( FNR < NR ) { delete lines[$2] }
|
|
|
|
# dump remaining lines unique to gcc
|
|
END {
|
|
for (a in lines) {
|
|
print lines[a]
|
|
}
|
|
}
|
|
' <(gcc -dM -E -x c - < /dev/null) <(sparse -dM -E -x c - < /dev/null) > $defines
|
|
include="-include $defines"
|
|
|
|
#
|
|
# sparse doesn't seem to notice when it's on a 64bit host. It warns that
|
|
# 64bit values don't fit in 'unsigned long' without this.
|
|
#
|
|
if grep -q "__LP64__ 1" $defines; then
|
|
m64="-m64"
|
|
else
|
|
m64=""
|
|
fi
|
|
|
|
sparse $m64 $include $search/include "$@" 2>&1 | egrep -v "($RE)" | tee .sparse.output
|
|
|
|
rm -f $defines
|
|
|
|
if [ -s .sparse.output ]; then
|
|
exit 1
|
|
else
|
|
exit 0
|
|
fi
|