| commit | b2d4c8f693aaf0b583a6cee049cf909b9b6e765f | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 13 Jun 2013 08:15:03 +0000 (13 11:15 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 13 Jun 2013 08:15:03 +0000 (13 11:15 +0300) | ||
| tree | 7be1740363b7bd6b90df461f350c4b0fce67a789 | treesnapshot (tar.gz zip) |
| parent | e06279fcfcbaca36219ff79a2912dc79d13c2916 | commitdiff |
comparison: create expr_equal/lte_to_param() functions
Really it's two separate things we want. If the return value is equal to
a function then we want to know about that. Or if it's capped by a
parameter then we want to know about that.
Eventually we will probably want to know if the return value is always
greater than a parameter, but that is much less common.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Really it's two separate things we want. If the return value is equal to
a function then we want to know about that. Or if it's capped by a
parameter then we want to know about that.
Eventually we will probably want to know if the return value is always
greater than a parameter, but that is much less common.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_comparison.c | diffblobblamehistory |