| commit | 5a902998bafa0bb679cced5314c0a5f70f7cc4fa | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 18 Apr 2012 12:52:06 +0000 (18 15:52 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 18 Apr 2012 12:52:06 +0000 (18 15:52 +0300) | ||
| tree | ced19ece400152664d10bb3c9c0af8137f3feff6 | treesnapshot (tar.gz zip) |
| parent | 406b2149488dc27c03fb0530b293a46773aee96c | commitdiff |
math: handle __smatch_implied(&x);
It should recognize that &x is a valid pointer. Ampersands are actually
more complicated and subtle than to just say it's a valid pointer. But
for now lets see how this works.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
It should recognize that &x is a valid pointer. Ampersands are actually
more complicated and subtle than to just say it's a valid pointer. But
for now lets see how this works.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_math.c | diffblobblamehistory |