add --rare option for rare bugs
commit8582ba0f1ce3dc3913be559b82aeb609b5e64aa3
authorDan Carpenter <error27@gmail.com>
Thu, 14 Jan 2010 14:37:55 +0000 (14 17:37 +0300)
committerDan Carpenter <error27@gmail.com>
Thu, 14 Jan 2010 14:37:55 +0000 (14 17:37 +0300)
tree5bff9341de9a48fc6fbd0b13c9945eaa9efa516d
parent5b33858f2c607c65a5c849a5c3cd2f0756125dfd
add --rare option for rare bugs

Adding checks to smatch slows it down, so sometimes it's not worth doing
the check every time.  For example, I wrote a check for reusing skb after
calling dev_queue_xmit(skb).  This was based on a patch in 2.6.33-rc4.
When I tested the check on 2.6.33-rc3 it found the bug which the patch
fixed but it didn't find any others.

Whenever there is an -rc1 release I will pass the --rare option to look for
bugs like that.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch.c
smatch.h