fix select statement handling
commit94853b2fab76017786a7cc9730a55e5bb5848b44
authorDan Carpenter <error27@gmail.com>
Fri, 26 Mar 2010 09:42:44 +0000 (26 12:42 +0300)
committerDan Carpenter <error27@gmail.com>
Fri, 26 Mar 2010 09:42:44 +0000 (26 12:42 +0300)
treeb5b348dcc434e0ee7091697bb07dcc27402333de
parent13cb2991ade96dc54be3d931a2bc2f6c5a61b17a
fix select statement handling

It's weird because the entire point of the function is to set up the stack
in the right way but it has been wrong from the beginning.

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