flow: re-write how struct members are initialized
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 11 Oct 2013 08:02:58 +0000 (11:02 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 11 Oct 2013 08:02:58 +0000 (11:02 +0300)
commit466ad137707846b1c2bcc1ef4cf5eb97c117828b
tree8eb96a3bf9f1ff1ccc1efceffd676326662eade8
parentf037c694630306a0a70bb922411119fe7bd9a5d9
flow: re-write how struct members are initialized

In the original code it set everything to zero and then set all the
initialized members to the initialized value.  The problem with this is
that I want to track what struct members are set to.  In the old code I
record that they are set to zero and the initial value.  In reality they
are only set to the initial value.

The new way is more complicated.

We create a list of struct members, we record what members are initialized
and then go through and set the remaining members to zero.

There are some bugs I found in the initializing process.  They were there
in the original code as well.  I have just added a comment to note that for
future work.

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