| commit | 0094ac4ab515b57302c2eba1092ff517fddf7c12 | |
| author | Dan Carpenter <dan.carpenter@linaro.org> | |
| Fri, 19 May 2023 20:10:27 +0000 (19 23:10 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@linaro.org> | |
| Fri, 19 May 2023 20:10:27 +0000 (19 23:10 +0300) | ||
| tree | 1970f6e76b2e3180b5a9ed81be08100d9d2602be | treesnapshot (tar.gz zip) |
| parent | e469ccf873937cd1cf85b6d5d2b5df992cb531f1 | commitdiff |
dereference: fix some false positives
Smatch was counting "fp = &bp->fp[i];" as a dereference of "bp->fp" but
it's not. It's just pointer math.
This still feels like I'm doing something wrong with how complicated this
code is... But at least now it's in one place instead of every test
having to implement this.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
Smatch was counting "fp = &bp->fp[i];" as a dereference of "bp->fp" but
it's not. It's just pointer math.
This still feels like I'm doing something wrong with how complicated this
code is... But at least now it's in one place instead of every test
having to implement this.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
| smatch_dereference.c | diffblobblamehistory |