| commit | 0d7fa9754c22e21d1a4c418fcc6b0f43dd213547 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 16 Jul 2013 09:03:05 +0000 (16 12:03 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 16 Jul 2013 09:03:05 +0000 (16 12:03 +0300) | ||
| tree | 44f95381a4b343e75bd4b4018912ff294c2653de | treesnapshot (tar.gz zip) |
| parent | a76090a40d27fec84f0da76d40808a4c4fac1152 | commitdiff |
extra: handle "if (a & 0x1)" conditions
Really we need to handle bit map variables separately and more completely,
but this is an improvement over the current code.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Really we need to handle bit map variables separately and more completely,
but this is an improvement over the current code.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory | |
| validation/sm_bitwise2.c | [new file with mode: 0644] | blob |