| commit | cccd4e64c4f641541a283202ce1eba4b561b196b | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 15 Aug 2008 11:22:11 +0000 (15 14:22 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 15 Aug 2008 11:22:11 +0000 (15 14:22 +0300) | ||
| tree | 99988132cb02000a31a820cacabbdc12c8df4cab | treesnapshot (tar.gz zip) |
| parent | 8690141fba2f488ad2c15158fde7dc2ed9e78a4e | commitdiff |
What I've seen is stuff like this:
if (!foo){
bar();
if (!foo)
return ERROR;
}
Obviously the more things we mark as NONNULL the fewer warnings generated
and that cuts down on false positives proportunately.
Signed-off-by: Dan Carpenter <error27@gmail.com>
if (!foo){
bar();
if (!foo)
return ERROR;
}
Obviously the more things we mark as NONNULL the fewer warnings generated
and that cuts down on false positives proportunately.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_null_deref.c | diffblobblamehistory |