| commit | 18762ddb17d4c86feb30df71b80a99dd04f93836 | |
| author | Dan Carpenter <dan.carpenter@linaro.org> | |
| Thu, 5 Oct 2023 15:17:06 +0000 (5 18:17 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@linaro.org> | |
| Thu, 5 Oct 2023 15:17:06 +0000 (5 18:17 +0300) | ||
| tree | 0352b039b72f5031e4083eaea17edb53f30c9d62 | treesnapshot (tar.gz zip) |
| parent | bf1c6d3c1a35d4b6d43bce6bb9500225651de40d | commitdiff |
flow/dereference: handle *&foo->bar better
Let's say foo->bar is a dereference. &foo->bar is not a dereference, it's
just pointer math. But *&foo->bar is the same as foo->bar and it is a
dereference. In the original code, it was treated as pointer math.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
Let's say foo->bar is a dereference. &foo->bar is not a dereference, it's
just pointer math. But *&foo->bar is the same as foo->bar and it is a
dereference. In the original code, it was treated as pointer math.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
| smatch_flow.c | diffblobblamehistory |