| commit | 75c0549d5762d691f2a4be36fcc724d53b16ec22 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 7 Jan 2013 12:47:24 +0000 (7 15:47 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 7 Jan 2013 12:47:24 +0000 (7 15:47 +0300) | ||
| tree | e2563d43dbd3fc271f667865b5be5824b0bb78e4 | treesnapshot (tar.gz zip) |
| parent | da66f6222c12c54bae29471ac72ef12947f806cc | commitdiff |
math: handle ORs better in handle_logical()
If either side of an OR condition is known to be true then that's enough to
say the condition is true. Even if the other side is not known the
condition is going to be true.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
If either side of an OR condition is known to be true then that's enough to
say the condition is true. Even if the other side is not known the
condition is going to be true.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |