| commit | 8402ba9a4fbafbb9e8fa47b709123430f0ae57d9 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 May 2015 13:53:38 +0000 (15 16:53 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 15 May 2015 13:53:38 +0000 (15 16:53 +0300) | ||
| tree | 69f368a2192866e1656d03ac722db8a90181d534 | treesnapshot (tar.gz zip) |
| parent | ed7f50df8499317e8cc9da433a9728a1a5f128ab | commitdiff |
flow: "&foo->bar" is not a dereference
We quite often care about dereferences. After a dereference, we know a
pointer is non-NULL, for example. But we were marking things as
dereferences when actually we were just getting the address of the struct
member.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
We quite often care about dereferences. After a dereference, we know a
pointer is non-NULL, for example. But we were marking things as
dereferences when actually we were just getting the address of the struct
member.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_flow.c | diffblobblamehistory |