| commit | a1673784dfc9b899f31e9d49e9accb2124836825 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 9 Jan 2015 10:08:46 +0000 (9 13:08 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 9 Jan 2015 10:08:46 +0000 (9 13:08 +0300) | ||
| tree | eaf196a4b9a235fe03c7d0c933b8fe74e97d15c0 | treesnapshot (tar.gz zip) |
| parent | 72db6553d817da6aa3712d22605d407954177ec7 | commitdiff |
db, function_hooks: cull impossible paths on function comparison
If you have: "if (foo(x, y, z) < 100) {" then you also want to cull the
impossible paths in that situation the same as we cull them for other
ways of calling functions. (Hand wave, hand wave. I forget how this works
because I wrote this code before my vacation).
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If you have: "if (foo(x, y, z) < 100) {" then you also want to cull the
impossible paths in that situation the same as we cull them for other
ways of calling functions. (Hand wave, hand wave. I forget how this works
because I wrote this code before my vacation).
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory | |
| smatch_function_hooks.c | diffblobblamehistory |