| commit | 2c0aa3b1ec771a0b9c66d32d50aecc214e172064 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 19 Sep 2017 14:22:36 +0000 (19 17:22 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 19 Sep 2017 14:22:36 +0000 (19 17:22 +0300) | ||
| tree | 05dc2875d04d014bec637067c452a56b3c258357 | treesnapshot (tar.gz zip) |
| parent | d55bcd3743f012fd1228944554da958bf29f9624 | commitdiff |
extra: don't set the false state from empty to zero in match_condition()
The problem here is if you have an empty state, that still be empty on
both the true and false sides of the condition. But possibly_true()
returns true if we can't get an implied range list so we end up setting the
false size to zero.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The problem here is if you have an empty state, that still be empty on
both the true and false sides of the condition. But possibly_true()
returns true if we can't get an implied range list so we end up setting the
false size to zero.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_extra.c | diffblobblamehistory |