unreachable: add watchdog() to kernel.no_return_funcs.remove
commit0c75bedcd05e148807e5c506d764b63bc308690b
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 25 Apr 2014 22:29:22 +0000 (26 01:29 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 25 Apr 2014 22:29:22 +0000 (26 01:29 +0300)
tree0ad1eae20b5423ad29264989c4d36fc49a51c088
parent3404891cd4ca72c8b379dd1d1b66598afb1a5a8c
unreachable: add watchdog() to kernel.no_return_funcs.remove

The .remove files in the smatch_data/ directory are all sort of a hack to
manually fix the other data files.  In this case there are two watchdog()
functions in different drives and one returns and one doesn't return.
Treating them both as returning functions doesn't hurt anything but
treating them as unreachable causes a false positive unreachable code
warning.

I had to patch up the script directory to make the .remove file work.

Now all the smatch_scripts/gen_* scripts will take a -p=<project> argument.
Only the gen_no_return_funcs.sh script uses it, the rest ignore it.

no_return is different because it isn't kernel specific and because it's so
important.  That's why it was treated differently before.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_data/kernel.no_return_funcs
smatch_data/kernel.no_return_funcs.remove [new file with mode: 0644]
smatch_scripts/build_kernel_data.sh
smatch_scripts/gen_no_return_funcs.sh