| commit | 35406b4a9ac479ca44d38185eec292b3083afddb | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 26 Jun 2015 13:54:16 +0000 (26 16:54 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 26 Jun 2015 13:54:16 +0000 (26 16:54 +0300) | ||
| tree | 45da37d631164f32bf84197e7200e06bd65833ff | treesnapshot (tar.gz zip) |
| parent | 93ef996c64902bb3c444868b2fbad67dd7ae5e67 | commitdiff |
extra: introduce get_extra_state()
This change is part of a larger change I am working on. I mainly want to
introduce this abstraction for now.
But it does change what you would get if you did __smatch_implied(&foo),
I think.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This change is part of a larger change I am working on. I mainly want to
introduce this abstraction for now.
But it does change what you would get if you did __smatch_implied(&foo),
I think.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory | |
| smatch_math.c | diffblobblamehistory |