| commit | 97337fb64b032b1ca6427fe4a66017825b92e28c | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 Jul 2016 10:41:35 +0000 (15 13:41 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Sat, 16 Jul 2016 21:44:52 +0000 (17 00:44 +0300) | ||
| tree | 6d9db534508d14198b71d77681611799b385160b | treesnapshot (tar.gz zip) |
| parent | 92a6b8575f12f80102abcc756dbe0aa0ff1c586b | commitdiff |
comparison,function_hooks: remove impossible paths (using comparison data)
It's somewhat common to say things like:
if (foo->star == foo->end)
return NULL;
But maybe the caller checked that already and knows it isn't true. It
leads to some false positives.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
It's somewhat common to say things like:
if (foo->star == foo->end)
return NULL;
But maybe the caller checked that already and knows it isn't true. It
leads to some false positives.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_comparison.c | diffblobblamehistory | |
| smatch_function_hooks.c | diffblobblamehistory |