| commit | a54ac829a66d7a74e967cd3915091e03547606bf | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 16 Feb 2016 10:53:39 +0000 (16 13:53 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Tue, 16 Feb 2016 10:53:39 +0000 (16 13:53 +0300) | ||
| tree | 5ce559f4f81ca6f2f74de850281d2e882028e944 | treesnapshot (tar.gz zip) |
| parent | c42700b8e3ae881887ba1e0e0f94cca3ab8a9de3 | commitdiff |
implied: fall out from fake_cur_stree changes
This basically only affect check_leaks.c. That check wants to set the true
false states but then the implication code overwrites it with something
less specific. This wasn't an issue before when we used to set the cur
stree whenever we set the true path, but now it is.
Fixes: 6e9820f295e2 ('states: __set_sm_cur_stree() should not change the fake_cur_stree()')
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This basically only affect check_leaks.c. That check wants to set the true
false states but then the implication code overwrites it with something
less specific. This wasn't an issue before when we used to set the cur
stree whenever we set the true path, but now it is.
Fixes: 6e9820f295e2 ('states: __set_sm_cur_stree() should not change the fake_cur_stree()')
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_implied.c | diffblobblamehistory | |
| smatch_slist.c | diffblobblamehistory | |
| smatch_slist.h | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |