| commit | 3cd3313c0dd9db9b51fbb0139fd42430d983f095 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 11 Jan 2018 12:27:49 +0000 (11 15:27 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Thu, 11 Jan 2018 12:27:49 +0000 (11 15:27 +0300) | ||
| tree | ec4078d344096dc6ffbe51122eb3120f92a96531 | treesnapshot (tar.gz zip) |
| parent | 298b86e01b6b733a53493e31520893014856d5d0 | commitdiff |
constraints: move print_return_implies_constrained()
I have no idea why this moved... :( But I want to make my diff smaller.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
I have no idea why this moved... :( But I want to make my diff smaller.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_constraints.c | diffblobblamehistory |