diff options
Diffstat (limited to 'tools/smatch-data')
| -rw-r--r-- | tools/smatch-data/no_return_funcs | 16 |
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 |