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
);
19 struct range_list
*value_ranges
;
21 DECLARE_ALLOCATOR(data_info
);
23 /* these are implimented in smatch_extra_helper.c */
24 struct data_range
*alloc_range_perm(long long min
, long long max
);
25 void add_range(struct range_list
**list
, long long min
, long long max
);
26 int true_comparison_range(struct data_range
*left
, int comparison
, struct data_range
*right
);
27 int possibly_true(int comparison
, struct data_info
*dinfo
, int num
, int left
);
28 int possibly_false(int comparison
, struct data_info
*dinfo
, int num
, int left
);
29 void free_data_info_allocs(void);
30 struct range_list
*clone_range_list(struct range_list
*list
);
31 char *show_ranges(struct range_list
*list
);
32 struct range_list
*remove_range(struct range_list
*list
, long long min
, long long max
);
34 /* used in smatch_slist. implemented in smatch_extra.c */
35 struct sm_state
*__extra_merge(struct sm_state
*one
, struct state_list
*slist1
,
36 struct sm_state
*two
, struct state_list
*slist2
);
37 struct sm_state
*__extra_and_merge(struct sm_state
*sm
,
38 struct state_list_stack
*stack
);
39 struct sm_state
*__extra_pre_loop_hook_before(struct statement
*iterator_pre_statement
);
40 int __iterator_unchanged(struct sm_state
*sm
, struct statement
*iterator
);
41 void __extra_pre_loop_hook_after(struct sm_state
*sm
,
42 struct statement
*iterator
,
43 struct expression
*condition
);
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
);
48 struct smatch_state
*extra_undefined();
50 struct data_info
*alloc_dinfo_range(long long min
, long long max
);
51 struct range_list
*range_list_union(struct range_list
*one
, struct range_list
*two
);
52 long long get_dinfo_min(struct data_info
*dinfo
);
53 long long get_dinfo_max(struct data_info
*dinfo
);
54 int is_whole_range(struct range_list
*ranges
);
55 long long get_single_value_from_range(struct data_info
*dinfo
);
57 void function_comparison(int comparison
, struct expression
*expr
, long long value
, int left
);
59 int true_comparison_range_lr(int comparison
, struct data_range
*var
, struct data_range
*val
, int left
);
60 int false_comparison_range_lr(int comparison
, struct data_range
*var
, struct data_range
*val
, int left
);
61 struct data_range
*alloc_range(long long min
, long long max
);
62 void tack_on(struct range_list
**list
, struct data_range
*drange
);
63 int in_list_exact(struct range_list
*list
, struct data_range
*drange
);
65 struct smatch_state
*alloc_extra_state_range(long long min
, long long max
);