| commit | 167fae7464936448b4e48c0f7ca8bdaf7955b03a | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sat, 28 Nov 2009 07:31:44 +0000 (28 09:31 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sat, 28 Nov 2009 07:31:44 +0000 (28 09:31 +0200) | ||
| tree | 2314e0771656460d9f0bf9650ba05015c2cb7930 | treesnapshot (tar.gz zip) |
| parent | 683786e8f2757bed373db6234fd4c98cfd4a91b7 | commitdiff |
check_deref_check: get rid of some false positives
In the new version it's always OK to dereference the variable when we
know it's not null.
Also we don't print an error message if we know the variable is non null
when we check. Mostly it's macros are the ones checking here. If not
then it's probably just needless checking rather than actual null
dereference bugs.
Signed-off-by: Dan Carpenter <error27@gmail.com>
In the new version it's always OK to dereference the variable when we
know it's not null.
Also we don't print an error message if we know the variable is non null
when we check. Mostly it's macros are the ones checking here. If not
then it's probably just needless checking rather than actual null
dereference bugs.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_deref_check.c | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory |