| commit | c789854ea583922ac99946b45901b021ed4042fc | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 3 Oct 2012 06:59:23 +0000 (3 09:59 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 3 Oct 2012 06:59:23 +0000 (3 09:59 +0300) | ||
| tree | 041deb2b05ae83ebc2409ef26a457a660ba89339 | treesnapshot (tar.gz zip) |
| parent | 079d15b78d63dcff7f35ef79482cb931cdce6eef | commitdiff |
math: known conditions are equal to one or zero
We used to handle this for implied values but not for known values.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
We used to handle this for implied values but not for known values.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |