[patch 7/many] no UNDEFINED from get_value()
commit512a2654589af6804fce275c05983cc12fcd47ef
authorDan Carpenter <error27@gmail.com>
Wed, 25 Nov 2009 15:08:06 +0000 (25 17:08 +0200)
committerDan Carpenter <error27@gmail.com>
Wed, 25 Nov 2009 15:08:06 +0000 (25 17:08 +0200)
treede1ff3db8a897babffd67421ee1014df64fbdc35
parent91bba09f8a24e10ed4be7ee497778e02f960c70e
[patch 7/many] no UNDEFINED from get_value()

There was also a clean up in one of the checks from an earlier change.
Apparently modifying smatch_extra.h doesn't cause the checks to
recompile.  :/  Need to fix that.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_allocation_funcs.c
check_leaks.c
check_overflow.c
check_template.c
smatch.h
smatch_extra.c
smatch_helper.c
smatch_implied.c