| commit | 0c0395ef24091518c34fc04738cedae647e0aaa9 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 11 Feb 2009 12:55:51 +0000 (11 15:55 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 11 Feb 2009 12:55:51 +0000 (11 15:55 +0300) | ||
| tree | a50f2075d668cf5afd55a50ac2ad8bb188431027 | treesnapshot (tar.gz zip) |
| parent | d9b4ba5f9c1d1660b856acb771ca6ddd35e28764 | commitdiff |
Remove a state from it's ->pools when set_state() is called.
There are old implied pools out there. When we set the state all the
things that were implied previously are not implied now.
if (foo) {
bar = 1;
}
bar = 0;
non null foo doesn't implied bar == 1 anymore.
Signed-off-by: Dan Carpenter <error27@gmail.com>
There are old implied pools out there. When we set the state all the
things that were implied previously are not implied now.
if (foo) {
bar = 1;
}
bar = 0;
non null foo doesn't implied bar == 1 anymore.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_slist.c | diffblobblamehistory | |
| smatch_slist.h | diffblobblamehistory | |
| smatch_states.c | diffblobblamehistory |