implied: introduce overwrite_states_using_pool()
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 14 Dec 2012 12:37:13 +0000 (15:37 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 14 Dec 2012 12:37:13 +0000 (15:37 +0300)
commitb215689f648c2ced400e9db5884d8cdc808e7a1d
treee840a7d5e2539adea2c33fdc8fdaf5d95da10620
parentd5972191a751c062da4003b11231c0022c202788
implied: introduce overwrite_states_using_pool()

The situation here is that I have a "return foo;".  I know that "foo" can
be 0, -EINVAL, or -ENOMEM.  All the possible values of foo are stored in
the ->possible slist.  I don't care so much about the merged states, only
the original places where the error codes were set.  So I pass the each
of the possible states here to find out what implications are.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_implied.c