| commit | 6132de20ec4833ec4b8badf5c595bd3ed1745599 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 20 Apr 2016 09:34:26 +0000 (20 12:34 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 20 Apr 2016 11:32:39 +0000 (20 14:32 +0300) | ||
| tree | a18c453f748288e4248630c2f41be3f3c386f750 | treesnapshot (tar.gz zip) |
| parent | 929e49620ad5ce325c97d82db9fd07cc414ca685 | commitdiff |
implied: pass sm_states instead of pools
This doesn't change anything. Really we want the sm_state instead of the
pool. The sm_state has the pool so it's not complicated to preserve the
existing behavior.
The pool list isn't sorted any more so I had to remove the early return in
pool_in_pools(). I don't think we can get duplicates in that list if we just
use add_ptr_list().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This doesn't change anything. Really we want the sm_state instead of the
pool. The sm_state has the pool so it's not complicated to preserve the
existing behavior.
The pool list isn't sorted any more so I had to remove the early return in
pool_in_pools(). I don't think we can get duplicates in that list if we just
use add_ptr_list().
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.h | diffblobblamehistory | |
| smatch_comparison.c | diffblobblamehistory | |
| smatch_implied.c | diffblobblamehistory | |
| smatch_stored_conditions.c | diffblobblamehistory |