From 57970842cc081be55c5c6ef4703c690bfb2f5e7f Mon Sep 17 00:00:00 2001
From: Karel Zak
Date: Tue, 13 Sep 2011 11:10:18 +0200
Subject: build-sys: add smatch data

Signed-off-by: Karel Zak <kzak@redhat.com>
---
 config/include-Makefile.am        | 2 +-
 tools/smatch-data/no_return_funcs | 9 +++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 tools/smatch-data/no_return_funcs

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
-- 
cgit v1.2.3-55-g7522