| commit | 3737aa4c192f4f5f5f1a2e03dd6f888335f05f8e | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 18 Jun 2013 15:46:05 +0000 (18 18:46 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 18 Jun 2013 15:46:05 +0000 (18 18:46 +0300) | ||
| tree | 7015462afa513eef814215f3b341b3c2120bccb0 | treesnapshot (tar.gz zip) |
| parent | ead97f84687e3b263245b96970d6869c483b6e62 | commitdiff |
db: use comparison in db to determine get_implied_rl().
The key to this patch is that I have changed str_to_rl() to
call_results_to_rl(). That way when we're evaluating
__smatch_implied_max(strnlen(str, 16));
It can use the comparison to 16 to know the max is 16.
The other changes are just so that we can pass the expression pointer to
call_results_to_rl().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The key to this patch is that I have changed str_to_rl() to
call_results_to_rl(). That way when we're evaluating
__smatch_implied_max(strnlen(str, 16));
It can use the comparison to 16 to know the max is 16.
The other changes are just so that we can pass the expression pointer to
call_results_to_rl().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_db.c | diffblobblamehistory |