| commit | ab3cbaaee3a7803995a6641617ccdb57a0c30e95 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 12 Jun 2013 14:26:27 +0000 (12 17:26 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 12 Jun 2013 14:26:27 +0000 (12 17:26 +0300) | ||
| tree | 82c60bbf9cce6e8d62dca5311423a9b2580e6c9a | treesnapshot (tar.gz zip) |
| parent | 18a761eb8fb3c779a69133f6a2d8404f02426875 | commitdiff |
slist: use a fake cur_slist for handling unmatched_states.
The way I will use this is if I have code like:
if (x > 10)
y = 10;
else
y = x;
In the else side we know that y == x. In the if side we decide later that
we care about the relationship between x and y. We could calculate it if
we have the slist.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The way I will use this is if I have code like:
if (x > 10)
y = 10;
else
y = x;
In the else side we know that y == x. In the if side we decide later that
we care about the relationship between x and y. We could calculate it if
we have the slist.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_slist.c | diffblobblamehistory |