Add: return_implies_state()
commita8ea1f4ce8d40f80c59607f72aaa9c45539621b7
authorDan Carpenter <error27@gmail.com>
Wed, 15 Apr 2009 08:52:23 +0000 (15 11:52 +0300)
committerDan Carpenter <error27@gmail.com>
Wed, 15 Apr 2009 08:52:23 +0000 (15 11:52 +0300)
tree546b4f0b9cf565b0ea35c3a9609178b26be4badf
parent849261e7b4d2cdc494c3ef357517228ce6522cf1
Add: return_implies_state()

There are some functions like down_trylock() where the return value
implies whether the lock is state unlocked or state locked.  This is
like conditional functions except those can only handle 0 and non-zero
ranges while this one can handle more complex ranges.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_locking.c
smatch.h
smatch_extra.c
smatch_extra.h
smatch_function_hooks.c
smatch_ranges.c
smatch_states.c