| commit | 298b86e01b6b733a53493e31520893014856d5d0 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 11 Jan 2018 12:26:37 +0000 (11 15:26 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 11 Jan 2018 12:26:37 +0000 (11 15:26 +0300) | ||
| tree | 80aa3b32c16acd5d826676f3bb7dde369903d362 | treesnapshot (tar.gz zip) |
| parent | baa8aede4662f700a25f626267e1e1954b704f41 | commitdiff |
constraints: cleanup unmet_constraint()
This was from before Christmas. I'm sure it's an improvement but I don't
see a bug. I guess it's a cleanup.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This was from before Christmas. I'm sure it's an improvement but I don't
see a bug. I guess it's a cleanup.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_constraints.c | diffblobblamehistory |