| commit | f5c7a8c65da9f18de431115ef585003907a773d7 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 4 Jul 2016 12:03:33 +0000 (4 15:03 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 4 Jul 2016 12:03:33 +0000 (4 15:03 +0300) | ||
| tree | a4836a961a0ee62ff87281f5466a54f74cda9b15 | treesnapshot (tar.gz zip) |
| parent | eb33fac1a3f30aeb79e69e25d58340f327a75d88 | commitdiff |
extra: re-write handle_AND_condition()
This only sets the true path because if we have "if (x & 0xf0) {" then we
know x is at least 16. But we sometimes want to set the false path so
that if we have "if (!(x & ~0xf0)) {".
Anyway, this re-write doesn't change anything, yet.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This only sets the true path because if we have "if (x & 0xf0) {" then we
know x is at least 16. But we sometimes want to set the false path so
that if we have "if (!(x & ~0xf0)) {".
Anyway, this re-write doesn't change anything, yet.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |