| commit | b83ec8f1ca4bc22364f4f249e929d9a5950a580d | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 13 Nov 2017 20:12:58 +0000 (13 23:12 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 13 Nov 2017 20:12:58 +0000 (13 23:12 +0300) | ||
| tree | 4c954b16801a10bf9fe62b56f9631bcca127e062 | treesnapshot (tar.gz zip) |
| parent | cc70bbd760ba56e0c37616b8ae41a29fe8f310d3 | commitdiff |
constraints: allow function constraints
Handle code with function comparisons like:
if (x >= foo())
return -EINVAL;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Handle code with function comparisons like:
if (x >= foo())
return -EINVAL;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_constraints.c | diffblobblamehistory |