| commit | 4fcdd1eb5a062e876ef2f97d0641dde58c11ecf9 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 17 Feb 2016 10:17:38 +0000 (17 13:17 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 17 Feb 2016 10:17:38 +0000 (17 13:17 +0300) | ||
| tree | 72160d9a1c23062bfe227b694d34d383c2a2e60a | treesnapshot (tar.gz zip) |
| parent | e1c171580117edd08f388dc4ae273c37bd9de8d2 | commitdiff |
function_hooks: use __set_sm_cur_stree() in db_return_states_assign
The issue here is for code like:
if ((ret = frob(a, b, c) < 0)) { ...
The problem is that __set_sm() sets the true and false paths and then
we can't use implications because we don't want to overwrite stuff that
was set manually.
Fixes: a54ac829a66d ('implied: fall out from fake_cur_stree changes')
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The issue here is for code like:
if ((ret = frob(a, b, c) < 0)) { ...
The problem is that __set_sm() sets the true and false paths and then
we can't use implications because we don't want to overwrite stuff that
was set manually.
Fixes: a54ac829a66d ('implied: fall out from fake_cur_stree changes')
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_function_hooks.c | diffblobblamehistory |