| commit | 37e860bf7a5bfd23990f3687b3a711a8f81edf5b | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 30 Mar 2015 10:13:33 +0000 (30 13:13 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 30 Mar 2015 10:13:33 +0000 (30 13:13 +0300) | ||
| tree | 0726ef28b6f44bd5abf45a757e5c7a987fc48e38 | treesnapshot (tar.gz zip) |
| parent | ed2d876b247827d08198e44091f73a69b2a7455d | commitdiff |
conditions: ignore known/implied conditions
No point in storing that we know a condition is true/false if smatch_extra
can figure it out as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
No point in storing that we know a condition is true/false if smatch_extra
can figure it out as well.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_stored_conditions.c | diffblobblamehistory |