From daccb47a6a17809cf507df6092fde3f250a4bbe3 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Thu, 21 May 2009 15:25:38 +0300 Subject: [PATCH] clone_state() doesn't copy my_pools. The new way is that each state should only have it's own my_pool and that's it. --- smatch_slist.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/smatch_slist.c b/smatch_slist.c index a629b049..563909e4 100644 --- a/smatch_slist.c +++ b/smatch_slist.c @@ -219,7 +219,8 @@ struct sm_state *clone_state(struct sm_state *s) ret = alloc_state_no_name(s->name, s->owner, s->sym, s->state); ret->line = s->line; ret->merged = s->merged; - ret->my_pools = clone_stack(s->my_pools); + /* clone_state() doesn't copy the my_pools. Each state needs to have + only one my_pool. */ ret->possible = clone_slist(s->possible); ret->pre_left = s->pre_left; ret->pre_right = s->pre_right; -- 2.11.4.GIT