2 * sparse/smatch_extra.h
4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
14 DECLARE_PTR_LIST(range_list
, struct data_range
);
18 struct range_list
*value_ranges
;
20 DECLARE_ALLOCATOR(data_info
);
22 /* these are implimented in smatch_extra_helper.c */
23 struct data_range
*alloc_range_perm(long long min
, long long max
);
24 void add_range(struct range_list
**list
, long long min
, long long max
);
25 int true_comparison_range(struct data_range
*left
, int comparison
, struct data_range
*right
);
26 int possibly_true(int comparison
, struct data_info
*dinfo
, int num
, int left
);
27 int possibly_false(int comparison
, struct data_info
*dinfo
, int num
, int left
);
28 void free_data_info_allocs(void);
29 struct range_list
*clone_range_list(struct range_list
*list
);
30 char *show_ranges(struct range_list
*list
);
31 struct range_list
*remove_range(struct range_list
*list
, long long min
, long long max
);
33 /* used in smatch_slist. implemented in smatch_extra.c */
34 struct sm_state
*__extra_merge(struct sm_state
*one
, struct state_list
*slist1
,
35 struct sm_state
*two
, struct state_list
*slist2
);
36 struct sm_state
*__extra_and_merge(struct sm_state
*sm
,
37 struct state_list_stack
*stack
);
38 struct sm_state
*__extra_pre_loop_hook_before(struct statement
*iterator_pre_statement
);
39 int __iterator_unchanged(struct sm_state
*sm
, struct statement
*iterator
);
40 void __extra_pre_loop_hook_after(struct sm_state
*sm
,
41 struct statement
*iterator
,
42 struct expression
*condition
);
44 /* also implemented in smatch_extra */
45 struct smatch_state
*alloc_extra_state(int val
);
46 struct smatch_state
*add_filter(struct smatch_state
*orig
, long long filter
);
47 struct smatch_state
*extra_undefined();
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_dinfo_min(struct data_info
*dinfo
);
52 long long get_dinfo_max(struct data_info
*dinfo
);
53 long long get_single_value_from_range(struct data_info
*dinfo
);
55 void function_comparison(int comparison
, struct expression
*expr
, long long value
, int left
);
57 int true_comparison_range_lr(int comparison
, struct data_range
*var
, struct data_range
*val
, int left
);
58 int false_comparison_range_lr(int comparison
, struct data_range
*var
, struct data_range
*val
, int left
);
59 struct data_range
*alloc_range(long long min
, long long max
);
60 void tack_on(struct range_list
**list
, struct data_range
*drange
);
61 int in_list_exact(struct range_list
*list
, struct data_range
*drange
);
63 struct smatch_state
*alloc_extra_state_range(long long min
, long long max
);