core: rewrite select statement handling
commitc9f37ce2eac89860932ef5f5685c45a48f025432
authorDan Carpenter <error27@gmail.com>
Sat, 27 Mar 2010 10:05:10 +0000 (27 13:05 +0300)
committerDan Carpenter <error27@gmail.com>
Sat, 27 Mar 2010 10:05:10 +0000 (27 13:05 +0300)
tree6c3305123a320471998a3235216037a5138c7be3
parenta309af17f966c74b1c82725c17e8e21a8ebdd143
core: rewrite select statement handling

This fixes some bugs and adds a new test case.

The main reason I rewrote is though was because I couldn't figure out what
it was doing with the fake cur_slist.  In fact it was all really confusing.
Hopefully the rewrite is more clear.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch.h
smatch_conditions.c
smatch_states.c
validation/sm_select3.c [new file with mode: 0644]