Try again removing states from pools.
commitf8c2700e836b677fb50d09efd9612624bef7c43d
authorDan Carpenter <error27@gmail.com>
Fri, 13 Feb 2009 13:54:23 +0000 (13 16:54 +0300)
committerDan Carpenter <error27@gmail.com>
Fri, 13 Feb 2009 13:54:23 +0000 (13 16:54 +0300)
tree53610c278b362fcbcfb0f347161c2b2fac4f56b9
parent289d8f57c0417655a2169725dadb90e40d2601e9
Try again removing states from pools.

There was a patch that just deleted a state from the pool but I had to
revert it because on some paths a state is part of the pool and some it's
not.  The new code looks in cur_slist to see what pools a state is in using
is_currently_in_pool().

That was confusing as pants...  :/

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