diff options
| author | Karel Zak | 2011-09-13 11:10:18 +0200 |
|---|---|---|
| committer | Karel Zak | 2011-09-13 11:10:18 +0200 |
| commit | 57970842cc081be55c5c6ef4703c690bfb2f5e7f (patch) | |
| tree | f0452abf97a5746b9a301e1f6e990c09f0cba94c | |
| parent | script: non-ANSI definition [smatch scan] (diff) | |
| download | kernel-qcow2-util-linux-57970842cc081be55c5c6ef4703c690bfb2f5e7f.tar.gz kernel-qcow2-util-linux-57970842cc081be55c5c6ef4703c690bfb2f5e7f.tar.xz kernel-qcow2-util-linux-57970842cc081be55c5c6ef4703c690bfb2f5e7f.zip | |
build-sys: add smatch data
Signed-off-by: Karel Zak <kzak@redhat.com>
| -rw-r--r-- | config/include-Makefile.am | 2 | ||||
| -rw-r--r-- | tools/smatch-data/no_return_funcs | 9 |
2 files changed, 10 insertions, 1 deletions
diff --git a/config/include-Makefile.am b/config/include-Makefile.am index b033cf552..f377b0cb9 100644 --- a/config/include-Makefile.am +++ b/config/include-Makefile.am @@ -47,4 +47,4 @@ $(ul_libmount_la): # smatch scan -- smatch and cgcc are expected in $PATH # checksmatch: - make CHECK="smatch --no-data" CC=cgcc + make CHECK="smatch --data=$(top_srcdir)/tools/smatch-data" CC=cgcc diff --git a/tools/smatch-data/no_return_funcs b/tools/smatch-data/no_return_funcs new file mode 100644 index 000000000..0e15c76d9 --- /dev/null +++ b/tools/smatch-data/no_return_funcs @@ -0,0 +1,9 @@ +// list of functions which don't return. +// generated by `gen_no_return_funcs.sh` +__assert_fail +exit +__builtin_unreachable +help +server_loop +terminate_intr +usage |