smatch_extra: clear out struct members if a the pointer is reassigned.
commit8810b68c04990b3f5273019828530a077f59fa27
authorDan Carpenter <dan.carpenter@oracle.com>
Sun, 30 Oct 2011 13:25:27 +0000 (30 16:25 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Sun, 30 Oct 2011 13:25:27 +0000 (30 16:25 +0300)
tree2756df15da41343ebfa1e3ff8cc1ea6cae98a808
parentbbd0f001c71204c950de463343a197ed0aa95047
smatch_extra: clear out struct members if a the pointer is reassigned.

This addresses an issue where you have:
foo->bar = 0;
foo = foo->next;

We no longer know the value of foo->bar.

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