| commit | f03f868ef55cb92afbb76c4bb7e4605957f74342 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 29 May 2012 07:18:47 +0000 (29 10:18 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 29 May 2012 07:18:47 +0000 (29 10:18 +0300) | ||
| tree | ada5489b0d0af81aa76f1f03acf22d197c06d8e9 | treesnapshot (tar.gz zip) |
| parent | 2cffc12007bbfc38e6b01ed529b769bd2b1cd376 | commitdiff |
validation: update dereference check output
I changed the logic of how the dereference check works some time back so
that smatch extra can treat dereferenced pointers as non-null. We still
print a warning for this bogus check, but with the first dereference
instead of the last one.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I changed the logic of how the dereference check works some time back so
that smatch extra can treat dereferenced pointers as non-null. We still
print a warning for this bogus check, but with the first dereference
instead of the last one.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| validation/sm_deref_check_deref.c | diffblobblamehistory |