db: handle unchanged return_states better
commit7c1bad39e43e4327927d582b6b58a69e3f2ab7ac
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 18 Dec 2012 08:53:20 +0000 (18 11:53 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 18 Dec 2012 08:53:20 +0000 (18 11:53 +0300)
treef7ec0d94c9eaf854d9c9caa263cd8a81f2aee8a2
parent9ea886ef9253d6195790c25103b0598d8a5d162c
db: handle unchanged return_states better

The situation here is when some paths through the function have
implications for the parameter values and some don't.  In other words we
know that a return value of -5 means something about parameter 1 but it
doesn't mean anything about parameter 2.

In that situation the original code would say treat that as an whole_range
but instead we should be looking at the value that we passed into the
function.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch.h
smatch_extra.c
smatch_function_hooks.c