From d5972191a751c062da4003b11231c0022c202788 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 14 Dec 2012 15:26:08 +0300 Subject: [PATCH] states: fix __set_sm() when a fake_cur_slist is being used Currently we don't call __set_sm() with a fake cur slist that I know of, but later I'm going to need to do that. Signed-off-by: Dan Carpenter --- smatch_states.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/smatch_states.c b/smatch_states.c index 7a338ba8..0acb3705 100644 --- a/smatch_states.c +++ b/smatch_states.c @@ -191,6 +191,9 @@ void __set_sm(struct sm_state *sm) if (unreachable()) return; + if (fake_cur_slist_stack) + overwrite_sm_state_stack(&fake_cur_slist_stack, sm); + overwrite_sm_state(&cur_slist, sm); if (cond_true_stack) { -- 2.11.4.GIT