1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
#!/bin/bash
set -x
n_procs="$(getconf _NPROCESSORS_ONLN)"
use_procs=$((n_procs/2))
function check_with_gcc() {
# previous runs may have cached configuration based on a different CC
rm -f config.cache
make clean
# here --config-cache enables lots of checks in subdir libntech to re-use checks made in core
./configure --config-cache --enable-debug CC=gcc
local gcc_exceptions="-Wno-sign-compare -Wno-enum-int-mismatch"
make -j -l${use_procs} --keep-going CFLAGS="-Werror -Wall -Wextra $gcc_exceptions"
}
function check_with_clang() {
# previous runs may have cached configuration based on a different CC
rm -f config.cache
make clean
# here --config-cache enables lots of checks in subdir libntech to re-use checks made in core
./configure --config-cache --enable-debug CC=clang
make -j -l${use_procs} --keep-going CFLAGS="-Werror -Wall -Wextra -Wno-sign-compare"
}
function check_with_cppcheck() {
# previous runs may have cached configuration based on a different CC
rm -f config.cache
make clean
# here --config-cache enables lots of checks in subdir libntech to re-use checks made in core
./configure --config-cache --enable-debug
make -C libpromises/ bootstrap.inc # needed by libpromises/bootstrap.c
# print out cppcheck version for comparisons over time in case of regressions due to newer versions
cppcheck --version
# cppcheck options:
# -I -- include paths
# -i -- ignored files/folders
# --include=<file> -- force including a file, e.g. config.h
# Identified issues are printed to stderr
cppcheck --quiet -j${use_procs} --error-exitcode=1 ./ \
--suppressions-list=tests/static-check/cppcheck_suppressions.txt \
--check-level=exhaustive \
--include=config.h \
-I cf-serverd/ -I libpromises/ -I libcfnet/ -I libntech/libutils/ \
-i 3rdparty -i .github/codeql -i libntech/.lgtm -i tests -i libpromises/cf3lex.c \
2>&1 1>/dev/null
}
cd "$(dirname $0)"/../../
failure=0
failures=""
# in jenkins the workdir is already autogen'd
# in github it is not, so do that work here
if [ ! -f configure ]; then
NO_CONFIGURE=1 ./autogen.sh --enable-debug
fi
check_with_gcc || { failures="${failures}FAIL: GCC check failed\n"; failure=1; }
check_with_clang || { failures="${failures}FAIL: Clang check failed\n"; failure=1; }
check_with_cppcheck || { failures="${failures}FAIL: cppcheck failed\n"; failure=1; }
echo -en "$failures"
exit $failure
|
