function_hooks: don't take a shortcut for "needless" states
commit2f2767661234c047355164808281520a9376e104
authorDan Carpenter <dan.carpenter@oracle.com>
Tue, 17 Feb 2015 11:25:13 +0000 (17 14:25 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Tue, 17 Feb 2015 11:25:13 +0000 (17 14:25 +0300)
treeabcb3b5c94c5cdfb652f9dc79083f8db78b58337
parent02894eb7dbd2e29d4d7c3ed036d97bf764e1b437
function_hooks: don't take a shortcut for "needless" states

The logic here was that if we don't have a state then we don't need to
set the state to unknown, since the default state is already unknown.  This
was supposed to save memory.

But these days there are a lot of places which tie into modification hooks
to tell when a variable is initialized so this information is still useful.

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