| commit | 4fd9a05e133d9732ade71ed43bb235c229dacc52 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 4 Mar 2015 15:43:36 +0000 (4 18:43 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 4 Mar 2015 15:43:36 +0000 (4 18:43 +0300) | ||
| tree | ef29f4e6a59e44964e64cfdb49d5b57f95b9d40d | treesnapshot (tar.gz zip) |
| parent | f971787472991562a3cefa00feeb3e3da3a26601 | commitdiff |
flow: handle struct initialization better
There problem with the original code was that if you had nested struct then
only the outer and first inner struct were initialized to zero.
In the original code, it tried to keep track of which values had been
initialized and which had not. In the new code, it just looks it up in
SMATCH_EXTRA to see if it has been initialized. This is simpler.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
There problem with the original code was that if you had nested struct then
only the outer and first inner struct were initialized to zero.
In the original code, it tried to keep track of which values had been
initialized and which had not. In the new code, it just looks it up in
SMATCH_EXTRA to see if it has been initialized. This is simpler.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_flow.c | diffblobblamehistory |