From 6ad575151cae5ee5af94f1b394fb65e289d46048 Mon Sep 17 00:00:00 2001
From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Thu, 20 Aug 2015 20:18:01 +0300
Subject: [PATCH] states: remove an unused function

We no longer use top_stree_empty().

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---
 smatch_states.c | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/smatch_states.c b/smatch_states.c
index b69a36d0..1c4f619d 100644
--- a/smatch_states.c
+++ b/smatch_states.c
@@ -736,18 +736,6 @@ void __process_continues(void)
 	push_stree(&continue_stack, stree);
 }
 
-static int top_stree_empty(struct stree_stack **stack)
-{
-	struct stree *tmp;
-	int empty = 0;
-
-	tmp = pop_stree(stack);
-	if (!tmp)
-		empty = 1;
-	push_stree(stack, tmp);
-	return empty;
-}
-
 void __merge_continues(void)
 {
 	struct stree *stree;
-- 
2.11.4.GIT