From 1b25d3db20b62c7a2b669c1444adcb2e760be2e7 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Wed, 10 Jul 2013 15:05:31 +0300 Subject: [PATCH] implied: remove some unused code The get_implications() function is never called. It seems like a good idea but the API is wrong so I am deleting it for now. Signed-off-by: Dan Carpenter --- smatch.h | 3 --- smatch_implied.c | 17 ----------------- 2 files changed, 20 deletions(-) diff --git a/smatch.h b/smatch.h index 02c460e7..5825fdc0 100644 --- a/smatch.h +++ b/smatch.h @@ -377,9 +377,6 @@ int __handle_expr_statement_assigns(struct expression *expr); extern int option_debug_implied; extern int option_debug_related; extern int option_no_implied; -void get_implications(char *name, struct symbol *sym, int comparison, long long num, - struct state_list **true_states, - struct state_list **false_states); struct range_list_stack; struct state_list *__implied_case_slist(struct expression *switch_expr, struct expression *case_expr, diff --git a/smatch_implied.c b/smatch_implied.c index b29167ce..9952c141 100644 --- a/smatch_implied.c +++ b/smatch_implied.c @@ -622,23 +622,6 @@ static void match_end_func(struct symbol *sym) implied_debug_msg = NULL; } -/* - * get_implications() can be called by check_ scripts. - */ -void get_implications(char *name, struct symbol *sym, int comparison, long long num, - struct state_list **true_states, - struct state_list **false_states) -{ - struct sm_state *sm; - - sm = get_sm_state(SMATCH_EXTRA, name, sym); - if (!sm) - return; - if (slist_has_state(sm->possible, &undefined)) - return; - separate_and_filter(sm, comparison, tmp_range_list(num), LEFT, __get_cur_slist(), true_states, false_states); -} - static int sm_state_in_slist(struct sm_state *sm, struct state_list *slist) { struct sm_state *tmp; -- 2.11.4.GIT