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
);
15 DECLARE_PTR_LIST(range_list_stack
, struct range_list
);
18 struct tracker_list
*equiv
;
20 struct range_list
*value_ranges
;
22 DECLARE_ALLOCATOR(data_info
);
24 /* these are implimented in smatch_ranges.c */
25 struct data_range
*alloc_range_perm(long long min
, long long max
);
26 void add_range(struct range_list
**list
, long long min
, long long max
);
27 int true_comparison_range(struct data_range
*left
, int comparison
, struct data_range
*right
);
28 int possibly_true(int comparison
, struct data_info
*dinfo
, long long num
, int left
);
29 int possibly_true_range_lists(struct range_list
*left_ranges
, int comparison
, struct range_list
*right_ranges
);
30 int possibly_true_range_list_lr(int comparison
, struct data_info
*dinfo
, struct range_list
*values
, int left
);
31 int possibly_false(int comparison
, struct data_info
*dinfo
, long long num
, int left
);
32 int possibly_false_range_lists(struct range_list
*left_ranges
, int comparison
, struct range_list
*right_ranges
);
33 int possibly_false_range_list_lr(int comparison
, struct data_info
*dinfo
, struct range_list
*values
, int left
);
34 void free_range_list(struct range_list
**rlist
);
35 void free_data_info_allocs(void);
36 struct range_list
*clone_range_list(struct range_list
*list
);
37 char *show_ranges(struct range_list
*list
);
38 struct range_list
*remove_range(struct range_list
*list
, long long min
, long long max
);
40 /* used in smatch_slist. implemented in smatch_extra.c */
41 int implied_not_equal(struct expression
*expr
, long long val
);
42 struct sm_state
*__extra_handle_canonical_loops(struct statement
*loop
, struct state_list
**slist
);
43 int __iterator_unchanged(struct sm_state
*sm
);
44 void __extra_pre_loop_hook_after(struct sm_state
*sm
,
45 struct statement
*iterator
,
46 struct expression
*condition
);
48 /* also implemented in smatch_extra */
49 struct sm_state
*set_extra_mod(const char *name
, struct symbol
*sym
, struct smatch_state
*state
);
50 struct sm_state
*set_extra_expr_mod(struct expression
*expr
, struct smatch_state
*state
);
51 void set_extra_expr_nomod(struct expression
*expr
, struct smatch_state
*state
);
52 struct smatch_state
*alloc_extra_state(long long val
);
53 struct smatch_state
*alloc_extra_state_range_list(struct range_list
*rl
);
54 struct range_list
*get_range_list(struct expression
*expr
);
55 struct data_info
*get_dinfo(struct smatch_state
*state
);
56 struct smatch_state
*add_filter(struct smatch_state
*orig
, long long filter
);
57 struct smatch_state
*extra_undefined(void);
59 struct range_list
*range_list_union(struct range_list
*one
, struct range_list
*two
);
60 long long get_dinfo_min(struct data_info
*dinfo
);
61 long long get_dinfo_max(struct data_info
*dinfo
);
62 int get_single_value_from_dinfo(struct data_info
*dinfo
, long long *val
);
64 void function_comparison(int comparison
, struct expression
*expr
, long long value
, int left
);
66 int true_comparison_range_lr(int comparison
, struct data_range
*var
, struct data_range
*val
, int left
);
67 int false_comparison_range_lr(int comparison
, struct data_range
*var
, struct data_range
*val
, int left
);
68 struct data_range
*alloc_range(long long min
, long long max
);
69 void tack_on(struct range_list
**list
, struct data_range
*drange
);
70 int in_list_exact(struct range_list
*list
, struct data_range
*drange
);
72 struct smatch_state
*alloc_extra_state_range(long long min
, long long max
);
74 void push_range_list(struct range_list_stack
**rl_stack
, struct range_list
*rl
);
75 struct range_list
*pop_range_list(struct range_list_stack
**rl_stack
);
76 struct range_list
*top_range_list(struct range_list_stack
*rl_stack
);
77 void filter_top_range_list(struct range_list_stack
**rl_stack
, long long num
);
78 int get_implied_range_list(struct expression
*expr
, struct range_list
**rl
);
79 int is_whole_range(struct smatch_state
*state
);