| commit | 7a4fdad6e866cc5775322531813973e1f5c1d393 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 9 Jan 2015 11:17:34 +0000 (9 14:17 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 9 Jan 2015 11:17:34 +0000 (9 14:17 +0300) | ||
| tree | 88ccb8d0a908007d99db7c24be34b3731900129a | treesnapshot (tar.gz zip) |
| parent | 93fb61858410c5749777811b5405a65fb2f6e169 | commitdiff |
comparison: handle preops like "if (++a == b)"
The statement "if (++a == b)" is the same as "a++; if (a == b)" so at the
end we know they are either equal or not.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The statement "if (++a == b)" is the same as "a++; if (a == b)" so at the
end we know they are either equal or not.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_comparison.c | diffblobblamehistory |