From ca0eceab36aa0a02c97a8a3b377cfc925b4ae7a7 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Mon, 5 Nov 2012 17:26:43 +0300 Subject: [PATCH] sval: remove possibly_true_range_list() and related These functions aren't used any more, everything has been updated to the sval versions. Signed-off-by: Dan Carpenter --- smatch_extra.h | 4 ---- smatch_ranges.c | 48 ------------------------------------------------ 2 files changed, 52 deletions(-) diff --git a/smatch_extra.h b/smatch_extra.h index fc126525..14dee6f4 100644 --- a/smatch_extra.h +++ b/smatch_extra.h @@ -55,15 +55,11 @@ int true_comparison_range(struct data_range *left, int comparison, struct data_r int true_comparison_range_sval(struct data_range_sval *left, int comparison, struct data_range_sval *right); int possibly_true(struct expression *left, int comparison, struct expression *right); -int possibly_true_range_lists(struct range_list *left_ranges, int comparison, struct range_list *right_ranges); int possibly_true_range_lists_sval(struct range_list_sval *left_ranges, int comparison, struct range_list_sval *right_ranges); -int possibly_true_range_lists_rl(int comparison, struct range_list *a, struct range_list *b, int left); int possibly_true_range_lists_rl_sval(int comparison, struct range_list_sval *a, struct range_list_sval *b, int left); int possibly_false(struct expression *left, int comparison, struct expression *right); -int possibly_false_range_lists(struct range_list *left_ranges, int comparison, struct range_list *right_ranges); int possibly_false_range_lists_sval(struct range_list_sval *left_ranges, int comparison, struct range_list_sval *right_ranges); -int possibly_false_range_lists_rl(int comparison, struct range_list *a, struct range_list *b, int left); int possibly_false_range_lists_rl_sval(int comparison, struct range_list_sval *a, struct range_list_sval *b, int left); void free_range_list(struct range_list **rlist); diff --git a/smatch_ranges.c b/smatch_ranges.c index 8f30c201..e5a22669 100644 --- a/smatch_ranges.c +++ b/smatch_ranges.c @@ -834,22 +834,6 @@ int possibly_false(struct expression *left, int comparison, struct expression *r return 0; } -int possibly_true_range_lists(struct range_list *left_ranges, int comparison, struct range_list *right_ranges) -{ - struct data_range *left_tmp, *right_tmp; - - if (!left_ranges || !right_ranges) - return 1; - - FOR_EACH_PTR(left_ranges, left_tmp) { - FOR_EACH_PTR(right_ranges, right_tmp) { - if (true_comparison_range(left_tmp, comparison, right_tmp)) - return 1; - } END_FOR_EACH_PTR(right_tmp); - } END_FOR_EACH_PTR(left_tmp); - return 0; -} - int possibly_true_range_lists_sval(struct range_list_sval *left_ranges, int comparison, struct range_list_sval *right_ranges) { struct data_range_sval *left_tmp, *right_tmp; @@ -866,22 +850,6 @@ int possibly_true_range_lists_sval(struct range_list_sval *left_ranges, int comp return 0; } -int possibly_false_range_lists(struct range_list *left_ranges, int comparison, struct range_list *right_ranges) -{ - struct data_range *left_tmp, *right_tmp; - - if (!left_ranges || !right_ranges) - return 1; - - FOR_EACH_PTR(left_ranges, left_tmp) { - FOR_EACH_PTR(right_ranges, right_tmp) { - if (false_comparison_range(left_tmp, comparison, right_tmp)) - return 1; - } END_FOR_EACH_PTR(right_tmp); - } END_FOR_EACH_PTR(left_tmp); - return 0; -} - int possibly_false_range_lists_sval(struct range_list_sval *left_ranges, int comparison, struct range_list_sval *right_ranges) { struct data_range_sval *left_tmp, *right_tmp; @@ -898,14 +866,6 @@ int possibly_false_range_lists_sval(struct range_list_sval *left_ranges, int com return 0; } -int possibly_true_range_lists_rl(int comparison, struct range_list *a, struct range_list *b, int left) -{ - if (left) - return possibly_true_range_lists(a, comparison, b); - else - return possibly_true_range_lists(b, comparison, a); -} - /* FIXME: the _rl here stands for right left so really it should be _lr */ int possibly_true_range_lists_rl_sval(int comparison, struct range_list_sval *a, struct range_list_sval *b, int left) { @@ -915,14 +875,6 @@ int possibly_true_range_lists_rl_sval(int comparison, struct range_list_sval *a, return possibly_true_range_lists_sval(b, comparison, a); } -int possibly_false_range_lists_rl(int comparison, struct range_list *a, struct range_list *b, int left) -{ - if (left) - return possibly_false_range_lists(a, comparison, b); - else - return possibly_false_range_lists(b, comparison, a); -} - int possibly_false_range_lists_rl_sval(int comparison, struct range_list_sval *a, struct range_list_sval *b, int left) { if (left) -- 2.11.4.GIT