| commit | b7c1da6a846ce4254b6c8e2adf5cbe61ff6577fa | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 31 Jul 2012 12:30:27 +0000 (31 15:30 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 31 Jul 2012 12:30:27 +0000 (31 15:30 +0300) | ||
| tree | 6bf8fc8b8e7d6a769a76d2c8dd7c41354b648ec1 | treesnapshot (tar.gz zip) |
| parent | 130ba3ade8b9bffacb278b7e3b968224e0919e31 | commitdiff |
deref_check: fix a false positive
The problem is that I thought I didn't need to change the state if it was
merged because that wouldn't trigger an error. But unfortunately, it can
be merged and then later smatch_implied decides that it &derefed is
implied. So we need to set the state here and clear out the implications.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The problem is that I thought I didn't need to change the state if it was
merged because that wouldn't trigger an error. But unfortunately, it can
be merged and then later smatch_implied decides that it &derefed is
implied. So we need to set the state here and clear out the implications.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_deref_check.c | diffblobblamehistory |