handle assignments like: foo = !bar()
commit2da1fe2031580155ec8c566054aa7fc1c0f8c967
authorDan Carpenter <error27@gmail.com>
Wed, 17 Feb 2010 14:24:37 +0000 (17 17:24 +0300)
committerDan Carpenter <error27@gmail.com>
Wed, 17 Feb 2010 14:24:37 +0000 (17 17:24 +0300)
treef10ed58edf7c6d4d560463cacf6b1889f7a5f9eb
parent4c9390b60bd7e9c6b5adf4d752370ee92bfe3fa4
handle assignments like: foo = !bar()

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