| commit | 6827c288ad19d939200ffe458de4204b5f817051 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 16 Apr 2012 08:17:49 +0000 (16 11:17 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 16 Apr 2012 08:17:49 +0000 (16 11:17 +0300) | ||
| tree | 7ae9e33ea7ee69f3d08c181fd5ecc758dc39081f | treesnapshot (tar.gz zip) |
| parent | 0ef5e2c26ee48dbac802afd921341bb294562526 | commitdiff |
math: handle logical expressions
This fixes "__smatch_implied(x || y);".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This fixes "__smatch_implied(x || y);".
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_math.c | diffblobblamehistory |