| commit | 792e13a0c5d90c03422d31ab92c74017b986a106 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 24 Jun 2016 09:36:45 +0000 (24 12:36 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 24 Jun 2016 09:36:45 +0000 (24 12:36 +0300) | ||
| tree | 994c26d7304287db16c0eb1fdea56c8baac9187d | treesnapshot (tar.gz zip) |
| parent | 4bacc456419a973fbae8c18678ada7de86916175 | commitdiff |
implied: fix a bug where we imply the wrong thing
This is complicated to explain without a diagram, maybe. We use the
sm_in_keep_leafs() to see if we should preserve the whole sm state in
filter_stack. But we should also use it in filter_pools() to see if we
should preserve a chunk of the sm_state.
Anyway, the result of this bug is that we don't preserve parts of the state
so say maybe that a value has to be zero but maybe it could be zero or any
positive number.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This is complicated to explain without a diagram, maybe. We use the
sm_in_keep_leafs() to see if we should preserve the whole sm state in
filter_stack. But we should also use it in filter_pools() to see if we
should preserve a chunk of the sm_state.
Anyway, the result of this bug is that we don't preserve parts of the state
so say maybe that a value has to be zero but maybe it could be zero or any
positive number.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_implied.c | diffblobblamehistory |