| commit | b51306d76903b18cd61e9ab7a1028c88213f53b1 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 7 Mar 2016 09:47:34 +0000 (7 12:47 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 7 Mar 2016 09:47:34 +0000 (7 12:47 +0300) | ||
| tree | 4099b098984caa4f4941f66be1aa86c2d18e8136 | treesnapshot (tar.gz zip) |
| parent | 3dadc3cdd2936cb8eac52e4ad4bc90d63cd35a10 | commitdiff |
states: handle fake slist properly when we merge true and false paths
Say we are inside a fake cur stree and we branch and we call set_state()
in a true path but not the false path. Then the final state should
actually be the merged state. We can just look up the final state in the
cur_stree.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Say we are inside a fake cur stree and we branch and we call set_state()
in a true path but not the false path. Then the final state should
actually be the merged state. We can just look up the final state in the
cur_stree.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_states.c | diffblobblamehistory | |
| validation/sm_locking7.c | [new file with mode: 0644] | blob |