From 4c224173641396468c3f7556ab90fd53a9632102 Mon Sep 17 00:00:00 2001
From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Fri, 1 Jul 2016 13:39:33 +0300
Subject: [PATCH] implied: get rid of the ->implied member

We don't query this any more so just remove it.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---
 smatch.h         | 1 -
 smatch_implied.c | 1 -
 smatch_slist.c   | 7 -------
 smatch_slist.h   | 1 -
 4 files changed, 10 deletions(-)

diff --git a/smatch.h b/smatch.h
index 1268d7f1..484589e3 100644
--- a/smatch.h
+++ b/smatch.h
@@ -74,7 +74,6 @@ struct sm_state {
 	struct symbol *sym;
 	unsigned short owner;
 	unsigned short merged:1;
-	unsigned short implied:1;
 	unsigned int nr_children;
 	unsigned int line;
   	struct smatch_state *state;
diff --git a/smatch_implied.c b/smatch_implied.c
index 708fd6d9..f1d817f4 100644
--- a/smatch_implied.c
+++ b/smatch_implied.c
@@ -471,7 +471,6 @@ struct sm_state *filter_pools(struct sm_state *sm,
 
 	ret->pool = sm->pool;
 
-	ret->implied = 1;
 	DIMPLIED("partial %s => ", show_sm(sm));
 	DIMPLIED("%s from %d [stree %d]\n", show_sm(ret), sm->line, get_stree_id(sm->pool));
 	return ret;
diff --git a/smatch_slist.c b/smatch_slist.c
index 6fa4da5e..a25e40b2 100644
--- a/smatch_slist.c
+++ b/smatch_slist.c
@@ -163,7 +163,6 @@ struct sm_state *alloc_sm_state(int owner, const char *name,
 	sm_state->state = state;
 	sm_state->line = get_lineno();
 	sm_state->merged = 0;
-	sm_state->implied = 0;
 	sm_state->pool = NULL;
 	sm_state->left = NULL;
 	sm_state->right = NULL;
@@ -303,7 +302,6 @@ struct sm_state *clone_sm(struct sm_state *s)
 
 	ret = alloc_state_no_name(s->owner, s->name, s->sym, s->state);
 	ret->merged = s->merged;
-	ret->implied = s->implied;
 	ret->line = s->line;
 	/* clone_sm() doesn't copy the pools.  Each state needs to have
 	   only one pool. */
@@ -324,11 +322,6 @@ int is_leaf(struct sm_state *sm)
 	return !sm->merged;
 }
 
-int is_implied(struct sm_state *sm)
-{
-	return sm->implied;
-}
-
 int slist_has_state(struct state_list *slist, struct smatch_state *state)
 {
 	struct sm_state *tmp;
diff --git a/smatch_slist.h b/smatch_slist.h
index 1bd1ee05..a51e879b 100644
--- a/smatch_slist.h
+++ b/smatch_slist.h
@@ -26,7 +26,6 @@ void free_every_single_sm_state(void);
 struct sm_state *clone_sm(struct sm_state *s);
 int is_merged(struct sm_state *sm);
 int is_leaf(struct sm_state *sm);
-int is_implied(struct sm_state *sm);
 struct state_list *clone_slist(struct state_list *from_slist);
 
 int slist_has_state(struct state_list *slist, struct smatch_state *state);
-- 
2.11.4.GIT