mirror of
https://github.com/versity/scoutfs.git
synced 2025-12-23 05:25:18 +00:00
3b8d2eab8e
We should rely on sparse from epel to do automated sparse checking and not a git tag. But the 0.6.4 build currently fails on sparse/gcc redefines. This magic Awk from Zach script processes sparse and gcc internal defines and leaves the one intact that sparse doesn't have. Signed-off-by: Auke Kok <auke.kok@versity.com>
78 lines
2.1 KiB
Bash
Executable File
78 lines
2.1 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
# can we find sparse? If not, we're done.
|
|
which sparse > /dev/null 2>&1 || exit 0
|
|
|
|
#
|
|
# 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'"
|
|
|
|
#
|
|
# 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
|