From 628375e4cd966011681dfd72d323d786d169240e Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 12 Mar 2010 10:50:45 +0300 Subject: [PATCH] move the alloc_dinfo() functions to smatch_extra.c instead of smatch_range.c Signed-off-by: Dan Carpenter --- smatch_extra.c | 21 +++++++++++++++++++++ smatch_extra.h | 2 -- smatch_ranges.c | 21 --------------------- 3 files changed, 21 insertions(+), 23 deletions(-) diff --git a/smatch_extra.c b/smatch_extra.c index 914e3e60..0e53682d 100644 --- a/smatch_extra.c +++ b/smatch_extra.c @@ -30,6 +30,27 @@ struct data_range whole_range = { .max = LLONG_MAX, }; +static struct data_info *alloc_dinfo_range(long long min, long long max) +{ + struct data_info *ret; + + ret = __alloc_data_info(0); + ret->type = DATA_RANGE; + ret->value_ranges = NULL; + add_range(&ret->value_ranges, min, max); + return ret; +} + +static struct data_info *alloc_dinfo_range_list(struct range_list *rl) +{ + struct data_info *ret; + + ret = __alloc_data_info(0); + ret->type = DATA_RANGE; + ret->value_ranges = rl; + return ret; +} + static struct smatch_state *alloc_extra_state_empty(void) { struct smatch_state *state; diff --git a/smatch_extra.h b/smatch_extra.h index a47c1ea6..6d942262 100644 --- a/smatch_extra.h +++ b/smatch_extra.h @@ -48,8 +48,6 @@ struct data_info *get_dinfo(struct smatch_state *state); struct smatch_state *add_filter(struct smatch_state *orig, long long filter); struct smatch_state *extra_undefined(void); -struct data_info *alloc_dinfo_range(long long min, long long max); -struct data_info *alloc_dinfo_range_list(struct range_list *rl); struct range_list *range_list_union(struct range_list *one, struct range_list *two); long long get_dinfo_min(struct data_info *dinfo); long long get_dinfo_max(struct data_info *dinfo); diff --git a/smatch_ranges.c b/smatch_ranges.c index 9921126e..9811ee73 100644 --- a/smatch_ranges.c +++ b/smatch_ranges.c @@ -104,27 +104,6 @@ struct data_range *alloc_range_perm(long long min, long long max) return ret; } -struct data_info *alloc_dinfo_range(long long min, long long max) -{ - struct data_info *ret; - - ret = __alloc_data_info(0); - ret->type = DATA_RANGE; - ret->value_ranges = NULL; - add_range(&ret->value_ranges, min, max); - return ret; -} - -struct data_info *alloc_dinfo_range_list(struct range_list *rl) -{ - struct data_info *ret; - - ret = __alloc_data_info(0); - ret->type = DATA_RANGE; - ret->value_ranges = rl; - return ret; -} - void add_range(struct range_list **list, long long min, long long max) { struct data_range *tmp = NULL; -- 2.11.4.GIT