| commit | baa8aede4662f700a25f626267e1e1954b704f41 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 11 Jan 2018 12:24:00 +0000 (11 15:24 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 11 Jan 2018 12:24:00 +0000 (11 15:24 +0300) | ||
| tree | d747a81b5cbc70d6cf624421719555bb23809958 | treesnapshot (tar.gz zip) |
| parent | c5d5b57ef7b03aa4b072449498a4077b77efe076 | commitdiff |
constraints: fix add_constraint()
These checks were reversed. It should be that adding < to <= gives you
<=, but I had it that adding <= to < gives you <.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
These checks were reversed. It should be that adding < to <= gives you
<=, but I had it that adding <= to < gives you <.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_constraints.c | diffblobblamehistory |