| commit | d07cb55f3b8c669b3b175d8caa54eac1ffb184b9 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 20 Feb 2009 11:10:40 +0000 (20 14:10 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 20 Feb 2009 11:10:40 +0000 (20 14:10 +0300) | ||
| tree | 45c622fcfddd11e13b46800331618525978304bf | treesnapshot (tar.gz zip) |
| parent | 234f8c882a1543d8476ac6177a69a6643f9ccf7b | commitdiff |
if (a || b) { a->foo; should print an error. Also better --debug output.
When you merge &state and NULL, then most of the time you do want the
resulting state to be &undefined. If you merge two known states then
you want the result to be &merged.
I also changed the --debug output a bit. It now prints the ->possible
states after a merge. I moved the debug output from merge_states() to the
callers.
Signed-off-by: Dan Carpenter <error27@gmail.com>
When you merge &state and NULL, then most of the time you do want the
resulting state to be &undefined. If you merge two known states then
you want the result to be &merged.
I also changed the --debug output a bit. It now prints the ->possible
states after a merge. I moved the debug output from merge_states() to the
callers.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_null_deref.c | diffblobblamehistory | |
| smatch_slist.c | diffblobblamehistory |