| commit | b56123e729c6a02acc4cf26bdf73aee3d357dd90 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sat, 11 Apr 2009 08:16:46 +0000 (11 11:16 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sat, 11 Apr 2009 08:16:46 +0000 (11 11:16 +0300) | ||
| tree | cd63cfab811ce8cc34905cf8a300b51e6c11524a | treesnapshot (tar.gz zip) |
| parent | e808e8cb978dc1a52a3e5065ff418760639b7ba0 | commitdiff |
clear ->my_lists for &ignore.
When something is in &ignore then we don't set the branch paths with
null and nonnull. But then smatch_implied sets them for us when we hit
and if (foo) { ... where foo is completely unrelated to the &ignored thing.
The ignore is sort of a messy thing... Grr...
Signed-off-by: Dan Carpenter <error27@gmail.com>
When something is in &ignore then we don't set the branch paths with
null and nonnull. But then smatch_implied sets them for us when we hit
and if (foo) { ... where foo is completely unrelated to the &ignored thing.
The ignore is sort of a messy thing... Grr...
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_null_deref.c | diffblobblamehistory |