summaryrefslogtreecommitdiffstats
path: root/tools/smatch-data
diff options
context:
space:
mode:
Diffstat (limited to 'tools/smatch-data')
-rw-r--r--tools/smatch-data/no_return_funcs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/smatch-data/no_return_funcs b/tools/smatch-data/no_return_funcs
new file mode 100644
index 0000000..9da8de8
--- /dev/null
+++ b/tools/smatch-data/no_return_funcs
@@ -0,0 +1,16 @@
+// 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
+err
+errx
+err_oom
+log_err
+sleepexit
+die
+badconv