clone_state() doesn't copy my_pools.
commitdaccb47a6a17809cf507df6092fde3f250a4bbe3
authorDan Carpenter <error27@gmail.com>
Thu, 21 May 2009 12:25:38 +0000 (21 15:25 +0300)
committerDan Carpenter <error27@gmail.com>
Thu, 21 May 2009 12:25:38 +0000 (21 15:25 +0300)
tree1c1caf1e59d1292a6277be42905de99261edadbb
parentc7f349f39d37f0ef72a023422aacedc38c2bf040
clone_state() doesn't copy my_pools.

The new way is that each state should only have it's own my_pool and
that's it.
smatch_slist.c