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_pre_loop_hook_before(struct statement
*iterator_pre_statement
);
35 int __iterator_unchanged(struct sm_state
*sm
, struct statement
*iterator
);
36 void __extra_pre_loop_hook_after(struct sm_state
*sm
,
37 struct statement
*iterator
,
38 struct expression
*condition
);
40 /* also implemented in smatch_extra */
41 struct smatch_state
*alloc_extra_state(int val
);
42 struct smatch_state
*add_filter(struct smatch_state
*orig
, long long filter
);
43 struct smatch_state
*extra_undefined();
45 struct data_info
*alloc_dinfo_range(long long min
, long long max
);
46 struct range_list
*range_list_union(struct range_list
*one
, struct range_list
*two
);
47 long long get_dinfo_min(struct data_info
*dinfo
);
48 long long get_dinfo_max(struct data_info
*dinfo
);
49 long long get_single_value_from_range(struct data_info
*dinfo
);
51 void function_comparison(int comparison
, struct expression
*expr
, long long value
, int left
);
53 int true_comparison_range_lr(int comparison
, struct data_range
*var
, struct data_range
*val
, int left
);
54 int false_comparison_range_lr(int comparison
, struct data_range
*var
, struct data_range
*val
, int left
);
55 struct data_range
*alloc_range(long long min
, long long max
);
56 void tack_on(struct range_list
**list
, struct data_range
*drange
);
57 int in_list_exact(struct range_list
*list
, struct data_range
*drange
);
59 struct smatch_state
*alloc_extra_state_range(long long min
, long long max
);