2 * sparse/smatch_extra.h
4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
19 DECLARE_PTR_LIST(range_list
, struct data_range
);
24 struct range_list
*value_ranges
;
26 DECLARE_ALLOCATOR(data_info
);
28 extern struct data_range whole_range
;
30 /* these are implimented in smatch_extra_helper.c */
31 void add_range(struct range_list
**list
, long long min
, long long max
);
32 int possibly_true(int comparison
, struct data_info
*dinfo
, int num
, int left
);
33 int possibly_false(int comparison
, struct data_info
*dinfo
, int num
, int left
);
34 void free_data_info_allocs(void);
35 struct range_list
*clone_range_list(struct range_list
*list
);
36 char *show_ranges(struct range_list
*list
);
37 struct range_list
*remove_range(struct range_list
*list
, long long min
, long long max
);
39 /* used in smatch_slist. implemented in smatch_extra.c */
40 struct sm_state
*__extra_merge(struct sm_state
*one
, struct state_list
*slist1
,
41 struct sm_state
*two
, struct state_list
*slist2
);
42 struct sm_state
*__extra_and_merge(struct sm_state
*sm
,
43 struct state_list_stack
*stack
);
45 /* also implemented in smatch_extra */
46 struct smatch_state
*alloc_extra_state(int val
);
47 struct smatch_state
*add_filter(struct smatch_state
*orig
, long long filter
);
49 struct data_info
*alloc_dinfo_range(long long min
, long long max
);
50 struct range_list
*range_list_union(struct range_list
*one
, struct range_list
*two
);
51 long long get_single_value_from_range(struct data_info
*dinfo
);