From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Fri, 14 Dec 2012 12:26:08 +0000 (+0300)
Subject: states: fix __set_sm() when a fake_cur_slist is being used
X-Git-Tag: 1.57~114
X-Git-Url: https://repo.or.cz/w/smatch.git/commitdiff_plain/d5972191a751c062da4003b11231c0022c202788

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 <dan.carpenter@oracle.com>
---

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) {