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 --- tools/smatch-data/no_return_funcs | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tools/smatch-data/no_return_funcs (limited to 'tools/smatch-data') 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