| commit | c7f349f39d37f0ef72a023422aacedc38c2bf040 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 21 May 2009 12:21:36 +0000 (21 15:21 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 21 May 2009 12:21:36 +0000 (21 15:21 +0300) | ||
| tree | 63256a45f8c85de33535eed9f30820e1512b5594 | treesnapshot (tar.gz zip) |
| parent | 0f884cb1ce80a0ae19e786a68611052e48ac44db | commitdiff |
Rework implications to use ->pre_left and ->pre_right.
What I want eventually is for every sm_state to only have one pool.
We have this tree with merged sm_states as branches and unmerged sm_states
as leaves. Then when we have implications we sort of create phantom
branches. With this change we create one phantom branch for each real
branch.
Later on, hopefully when we merge two trees together we will be able to
replace the phantom branches with real branches sometimes. This will
save memory.
Signed-off-by: Dan Carpenter <error27@gmail.com>
What I want eventually is for every sm_state to only have one pool.
We have this tree with merged sm_states as branches and unmerged sm_states
as leaves. Then when we have implications we sort of create phantom
branches. With this change we create one phantom branch for each real
branch.
Later on, hopefully when we merge two trees together we will be able to
replace the phantom branches with real branches sometimes. This will
save memory.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_implied.c | diffblobblamehistory |