| commit | cf8b93cb205b9aa1a67cf6480ac6a9410a8111be | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sat, 28 Feb 2009 18:57:04 +0000 (28 21:57 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sat, 28 Feb 2009 18:57:04 +0000 (28 21:57 +0300) | ||
| tree | edd016de35c68cc3b77f0c44986935eed251cffd | treesnapshot (tar.gz zip) |
| parent | 54a769aff11db963cab5faea731a9cadb50feae5 | commitdiff |
Save all the pools a state goes through.
We need to have ->my_pools which is just a list of pools where the
state came from and also ->all_pools which is a list of all the pools
that a state has been through.
So to figure out the implied states for (a != NULL) we look at all the
->my_pools where a is nonnull. All the states from those apply if they
have have the pool in their ->all-pools list.
Signed-off-by: Dan Carpenter <error27@gmail.com>
We need to have ->my_pools which is just a list of pools where the
state came from and also ->all_pools which is a list of all the pools
that a state has been through.
So to figure out the implied states for (a != NULL) we look at all the
->my_pools where a is nonnull. All the states from those apply if they
have have the pool in their ->all-pools list.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_implied.c | diffblobblamehistory | |
| smatch_slist.c | diffblobblamehistory |