create alloc_extra_state_empty()
commite2b3cd1672a8ba9d72d34cd7bb8045bc2f1f0c65
authorDan Carpenter <error27@gmail.com>
Sat, 11 Apr 2009 18:55:22 +0000 (11 21:55 +0300)
committerDan Carpenter <error27@gmail.com>
Sat, 11 Apr 2009 18:55:22 +0000 (11 21:55 +0300)
treea6cf7fcdfa1838f8b5322e3cb6b2993c8495af5c
parentd1a9b9c71fbf8f3c90381057eba97a5941ee3420
create alloc_extra_state_empty()

This is a cleaner way than allocating an UNDEFINED state and then
overwriting it.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_extra.c