sval: pass type information to extra_undefined()
commitd136ae9d30d6476d666cfabf108ae64447e5decf
authorDan Carpenter <dan.carpenter@oracle.com>
Thu, 8 Nov 2012 17:12:38 +0000 (8 20:12 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Thu, 8 Nov 2012 17:12:38 +0000 (8 20:12 +0300)
treee5677030948840f5be46281b159c3c9a4dfa028b
parent521b80f14d6de8f66610d8401414e5592524e192
sval: pass type information to extra_undefined()

This means that there are no more "unknown" states, they are all "min-max"
and a couple validation tests needed to be updated.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
smatch_constraints.c
smatch_estate.c
smatch_extra.c
smatch_extra.h
smatch_function_hooks.c
validation/sm_range2.c
validation/sm_select3.c