| commit | 49029290e982ca6c4ed164b4a89b8bc921897a35 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 8 Mar 2009 11:33:42 +0000 (8 14:33 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 8 Mar 2009 11:33:42 +0000 (8 14:33 +0300) | ||
| tree | 835b3acd0d6aad2e3dd3fa38af70a68f3b172e13 | treesnapshot (tar.gz zip) |
| parent | 122c9f5a28798376e66a23b4572b8cc025d22dfb | commitdiff |
Add option --assume-loops.
It seems like a lot of false positives are caused because programmers
know that certain loops always loop at least once. That certain lists
are never empty. Add an option to ignore errors caused by empty lists etc.
Signed-off-by: Dan Carpenter <error27@gmail.com>
It seems like a lot of false positives are caused because programmers
know that certain loops always loop at least once. That certain lists
are never empty. Add an option to ignore errors caused by empty lists etc.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory |