| commit | 8ab6d645704ecc183dfb73f73ca12e7e4f86906f | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 18 Mar 2009 11:20:05 +0000 (18 14:20 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 18 Mar 2009 11:20:05 +0000 (18 14:20 +0300) | ||
| tree | d8a32ab4abb5331d0ed071ddc4b655e76810b5b9 | treesnapshot (tar.gz zip) |
| parent | 1b3bc6f7749408cd09d299b1b2779ea8ce425266 | commitdiff |
Make --known-conditions an option.
Ignoring known untraveled code paths is a good idea. The problem is that
smatch_extra still isn't aware enough when data is modified. Also we
it would be better to go through and evaluate loops twice. Handling static
variables might be an issue as well.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Ignoring known untraveled code paths is a good idea. The problem is that
smatch_extra still isn't aware enough when data is modified. Also we
it would be better to go through and evaluate loops twice. Handling static
variables might be an issue as well.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory |