| commit | 964dd1b35ff798329bce1a3a4728ee61e83d77de | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 21 Feb 2012 09:26:56 +0000 (21 12:26 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 21 Feb 2012 09:26:56 +0000 (21 12:26 +0300) | ||
| tree | 81126c0e5797d8e729154af25ae6d54029afc30b | treesnapshot (tar.gz zip) |
| parent | 3c32da701e3181f1689b186a58f390c8afe2a7d2 | commitdiff |
extra, ranges: make possibly_true/false() take an expression pointer
The whole "struct dinfo" thing is a pain. I wanted to use it to handle
bitfields but I haven't gotten around to it. Passing the expression here
is cleaner.
Also it lets us be more accurate and handle places where we can find an
implied range list, but it's not a variable so there isn't a dinfo set.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The whole "struct dinfo" thing is a pain. I wanted to use it to handle
bitfields but I haven't gotten around to it. Passing the expression here
is cleaner.
Also it lets us be more accurate and handle places where we can find an
implied range list, but it's not a variable so there isn't a dinfo set.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory | |
| smatch_extra.h | diffblobblamehistory | |
| smatch_ranges.c | diffblobblamehistory |