Initial commit of the "implied state pools" stuff. It doesn't do
commitebc0b02769f834ac48fa39a487ab01baa3aedec8
authorDan Carpenter <error27@gmail.com>
Tue, 14 Oct 2008 11:22:43 +0000 (14 14:22 +0300)
committerDan Carpenter <error27@gmail.com>
Tue, 14 Oct 2008 11:22:43 +0000 (14 14:22 +0300)
tree5bcfd5aa9044d78c20b821ef500caefee4755dfc
parented7b8c69eaf6fe5fb879914abda2370ee179c4a1
Initial commit of the "implied state pools" stuff.  It doesn't do
anything yet, it just uses memory and slows things down a little.

Eventually it you'll be able to query what all the possible states are
instead of just getting an "undefined".  And hopefully, you'll be able
to figure out that if "foo" is nonnull does that imply "bar" is also
nonnull?

Signed-off-by: Dan Carpenter <error27@gmail.com>
Makefile
smatch.h
smatch_extra.c
smatch_implied.c [new file with mode: 0644]
smatch_slist.c
smatch_slist.h
smatch_states.c