Try understand the implications from compound conditions.
commitd17b9ef7c09ef006fabaf3f3bc0cbbf79499ba2a
authorDan Carpenter <error27@gmail.com>
Wed, 11 Feb 2009 11:14:43 +0000 (11 14:14 +0300)
committerDan Carpenter <error27@gmail.com>
Wed, 11 Feb 2009 11:14:43 +0000 (11 14:14 +0300)
treee57b168c7c7879d84aa48e18b0d019f77f2789f3
parentde6cab6e6eb44df4660a3d4df171f87ef8e8ee41
Try understand the implications from compound conditions.

Use just a regular CONDITION_HOOK instead of a WHOLE_CONDITION_HOOK.  Then
we can just use set_true_false_states() instead of __overwrite_cur_slist().

This makes things a lot more flexible and powerful.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_extra.c
smatch_implied.c