| commit | 4c14045e58726c35554504f1bbf8740343be4625 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 9 Jun 2015 14:45:51 +0000 (9 17:45 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 9 Jun 2015 14:45:51 +0000 (9 17:45 +0300) | ||
| tree | 413a535a3a28d1fe25d658d59495c1cec3f5a813 | treesnapshot (tar.gz zip) |
| parent | fb342eeb254977a54c5bcc88554feaf008cf71e5 | commitdiff |
math: handle __smatch_implied(&foo->bar) a little better
If you have:
__smatch_implied(&foo->bar);
and ->bar is not the first struct member then you know the address is
non-zero. Add this to smatch_math.c.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If you have:
__smatch_implied(&foo->bar);
and ->bar is not the first struct member then you know the address is
non-zero. Add this to smatch_math.c.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |