implied pools: cleanup how implied pools are created.
commitfef3b84b47cbd580fcfdf2ca87299c401c7a04fa
authorDan Carpenter <error27@gmail.com>
Sat, 7 Mar 2009 22:25:21 +0000 (8 01:25 +0300)
committerDan Carpenter <error27@gmail.com>
Sat, 7 Mar 2009 22:25:21 +0000 (8 01:25 +0300)
tree0b4b3117245d99fa44067d61db293a3ea8ead993
parent211d984c107b6d2cffb24deccf0f4728fea0f285
implied pools:  cleanup how implied pools are created.

Implied pools help us know where a state comes from.  When two branches
are merged we save the pool.  sm_states have an ->all_pools which records
every pool that a state is a part of.  The first time an sm_state goes
through a pool that is recorded in the ->my_pools.  When we merge
sm_states both the ->my_pools and ->all_pools from both sides are copied
to the new state.

This patch cleans up how that is implemented.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_slist.c