| commit | ebb9635c7c61faa780c8f80577215cade1eec03a | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 11 Jan 2018 12:39:49 +0000 (11 15:39 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 11 Jan 2018 12:39:49 +0000 (11 15:39 +0300) | ||
| tree | fb909f64168bcc0011cfbaa30b58d222224750df | treesnapshot (tar.gz zip) |
| parent | 0e0ea0183a1cb9ce6e82b00a47c6ffa285374c94 | commitdiff |
address: fix handling of &foo->bar
The old code was pretty rubbish. But say you have &foo->bar and ->bar
isn't the first member of the struct, then you "know" that &foo->bar is
non-NULL. In theory it could be NULL, but if that's true you're already
screwed so it's not worth worrying about.
This code tries to implement that.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The old code was pretty rubbish. But say you have &foo->bar and ->bar
isn't the first member of the struct, then you "know" that &foo->bar is
non-NULL. In theory it could be NULL, but if that's true you're already
screwed so it's not worth worrying about.
This code tries to implement that.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_address.c | diffblobblamehistory |