Symbol: smatch_state
usr/src/tools/smatch/src/check_atomic_inc_dec.c
30
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_atomic_inc_dec.c
325
struct smatch_state *state;
usr/src/tools/smatch/src/check_atomic_inc_dec.c
47
static void set_start_state(const char *name, struct symbol *sym, struct smatch_state *start)
usr/src/tools/smatch/src/check_atomic_inc_dec.c
49
struct smatch_state *orig;
usr/src/tools/smatch/src/check_buffer_too_small_for_struct.c
69
struct smatch_state *state;
usr/src/tools/smatch/src/check_check_deref.c
137
struct smatch_state *true_state = NULL;
usr/src/tools/smatch/src/check_deref.c
243
struct smatch_state *state;
usr/src/tools/smatch/src/check_deref.c
45
static struct smatch_state *alloc_my_state(const char *name)
usr/src/tools/smatch/src/check_deref.c
47
struct smatch_state *state;
usr/src/tools/smatch/src/check_deref.c
54
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_dma_mapping_error.c
54
struct smatch_state *state;
usr/src/tools/smatch/src/check_double_checking.c
169
struct smatch_state *state;
usr/src/tools/smatch/src/check_err_ptr_deref.c
74
struct smatch_state *estate;
usr/src/tools/smatch/src/check_expects_err_ptr.c
47
struct smatch_state *state;
usr/src/tools/smatch/src/check_free.c
245
struct smatch_state *state;
usr/src/tools/smatch/src/check_free_strict.c
277
struct smatch_state *state;
usr/src/tools/smatch/src/check_free_strict.c
45
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_free_strict.c
47
struct smatch_state *state;
usr/src/tools/smatch/src/check_frees_param_strict.c
33
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_get_user_overflow.c
35
struct smatch_state *left_max_true = NULL;
usr/src/tools/smatch/src/check_get_user_overflow.c
36
struct smatch_state *left_max_false = NULL;
usr/src/tools/smatch/src/check_get_user_overflow.c
37
struct smatch_state *right_max_true = NULL;
usr/src/tools/smatch/src/check_get_user_overflow.c
38
struct smatch_state *right_max_false = NULL;
usr/src/tools/smatch/src/check_get_user_overflow.c
40
struct smatch_state *left_min_true = NULL;
usr/src/tools/smatch/src/check_get_user_overflow.c
41
struct smatch_state *left_min_false = NULL;
usr/src/tools/smatch/src/check_get_user_overflow.c
42
struct smatch_state *right_min_true = NULL;
usr/src/tools/smatch/src/check_get_user_overflow.c
43
struct smatch_state *right_min_false = NULL;
usr/src/tools/smatch/src/check_kernel.c
108
struct smatch_state *pre_state;
usr/src/tools/smatch/src/check_kernel.c
109
struct smatch_state *end_state;
usr/src/tools/smatch/src/check_kernel.c
128
struct smatch_state *pre_state;
usr/src/tools/smatch/src/check_kernel.c
144
struct smatch_state *pre_state;
usr/src/tools/smatch/src/check_kernel.c
45
struct smatch_state *estate;
usr/src/tools/smatch/src/check_kernel.c
85
struct smatch_state *pre_state;
usr/src/tools/smatch/src/check_kernel.c
86
struct smatch_state *end_state;
usr/src/tools/smatch/src/check_kmalloc_to_bugon.c
40
struct smatch_state *state;
usr/src/tools/smatch/src/check_leaks.c
156
static void set_parent(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/check_leaks.c
47
static void set_parent(struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/check_locking.c
487
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_locking.c
498
static struct smatch_state *merge_func(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/check_locking.c
507
static struct smatch_state *action_to_state(enum action lock_unlock)
usr/src/tools/smatch/src/check_locking.c
574
static void set_start_state(const char *name, struct symbol *sym, struct smatch_state *start)
usr/src/tools/smatch/src/check_locking.c
576
struct smatch_state *orig;
usr/src/tools/smatch/src/check_locking.c
613
static void warn_on_double(struct sm_state *sm, struct smatch_state *state)
usr/src/tools/smatch/src/check_locking.c
833
static struct smatch_state *get_start_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_locking.c
835
struct smatch_state *orig;
usr/src/tools/smatch/src/check_macro_side_effects.c
28
static struct smatch_state *alloc_my_state(struct expression *expr)
usr/src/tools/smatch/src/check_macro_side_effects.c
30
struct smatch_state *state;
usr/src/tools/smatch/src/check_missing_break.c
109
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_missing_break.c
115
static struct smatch_state *merge_hook(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/check_missing_break.c
50
static struct smatch_state *alloc_my_state(struct expression *expr)
usr/src/tools/smatch/src/check_missing_break.c
52
struct smatch_state *state;
usr/src/tools/smatch/src/check_nospec.c
31
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_readl_infinite_loops.c
109
static void push_state_at_start(struct smatch_state *state)
usr/src/tools/smatch/src/check_readl_infinite_loops.c
114
static struct smatch_state *pop_state_at_start(void)
usr/src/tools/smatch/src/check_readl_infinite_loops.c
116
struct smatch_state *state;
usr/src/tools/smatch/src/check_readl_infinite_loops.c
125
struct smatch_state *state;
usr/src/tools/smatch/src/check_readl_infinite_loops.c
137
struct smatch_state *old_state;
usr/src/tools/smatch/src/check_readl_infinite_loops.c
27
DECLARE_PTR_LIST(state_stack, struct smatch_state);
usr/src/tools/smatch/src/check_readl_infinite_loops.c
98
struct smatch_state *tmp;
usr/src/tools/smatch/src/check_resource_size.c
50
struct smatch_state *state;
usr/src/tools/smatch/src/check_return_efault.c
63
struct smatch_state *state;
usr/src/tools/smatch/src/check_rosenberg.c
295
static struct smatch_state *alloc_expr_state(struct expression *expr)
usr/src/tools/smatch/src/check_rosenberg.c
297
struct smatch_state *state;
usr/src/tools/smatch/src/check_rosenberg.c
315
struct smatch_state *state;
usr/src/tools/smatch/src/check_rosenberg.c
35
static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/check_spectre_second_half.c
52
static struct smatch_state *get_spectre_first_half(struct expression *expr)
usr/src/tools/smatch/src/check_spectre_second_half.c
66
struct smatch_state *state;
usr/src/tools/smatch/src/check_spectre_second_half.c
86
struct smatch_state *state;
usr/src/tools/smatch/src/check_syscall_arg_type.c
144
struct smatch_state *state;
usr/src/tools/smatch/src/check_syscall_arg_type.c
44
struct smatch_state *merge_states(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/check_template.c
54
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/check_uninitialized.c
80
static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch.h
1021
struct smatch_state *get_mtag_return(struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch.h
1112
struct smatch_state *alloc_compare_state(
usr/src/tools/smatch/src/smatch.h
1121
int state_to_comparison(struct smatch_state *state);
usr/src/tools/smatch/src/smatch.h
1122
struct smatch_state *merge_compare_states(struct smatch_state *s1, struct smatch_state *s2);
usr/src/tools/smatch/src/smatch.h
1143
struct smatch_state *true_state, struct smatch_state *false_state);
usr/src/tools/smatch/src/smatch.h
1203
struct smatch_state *get_stored_condition(struct expression *expr);
usr/src/tools/smatch/src/smatch.h
1230
struct smatch_state *merge_link_states(struct smatch_state *s1, struct smatch_state *s2);
usr/src/tools/smatch/src/smatch.h
1250
int estate_get_single_value(struct smatch_state *state, sval_t *sval);
usr/src/tools/smatch/src/smatch.h
1289
void update_mtag_data(struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch.h
166
typedef struct smatch_state *(merge_func_t)(struct smatch_state *s1, struct smatch_state *s2);
usr/src/tools/smatch/src/smatch.h
167
typedef struct smatch_state *(unmatched_func_t)(struct sm_state *state);
usr/src/tools/smatch/src/smatch.h
202
struct smatch_state *prev;
usr/src/tools/smatch/src/smatch.h
209
struct smatch_state *get_modification_state(struct expression *expr);
usr/src/tools/smatch/src/smatch.h
353
struct smatch_state *__get_state(int owner, const char *name, struct symbol *sym);
usr/src/tools/smatch/src/smatch.h
354
struct smatch_state *get_state(int owner, const char *name, struct symbol *sym);
usr/src/tools/smatch/src/smatch.h
355
struct smatch_state *get_state_expr(int owner, struct expression *expr);
usr/src/tools/smatch/src/smatch.h
360
struct smatch_state *state);
usr/src/tools/smatch/src/smatch.h
362
struct smatch_state *state);
usr/src/tools/smatch/src/smatch.h
367
struct smatch_state *true_state,
usr/src/tools/smatch/src/smatch.h
368
struct smatch_state *false_state);
usr/src/tools/smatch/src/smatch.h
370
struct smatch_state *true_state,
usr/src/tools/smatch/src/smatch.h
371
struct smatch_state *false_state);
usr/src/tools/smatch/src/smatch.h
386
struct smatch_state *alloc_state_num(int num);
usr/src/tools/smatch/src/smatch.h
387
struct smatch_state *alloc_state_str(const char *name);
usr/src/tools/smatch/src/smatch.h
388
struct smatch_state *merge_str_state(struct smatch_state *s1, struct smatch_state *s2);
usr/src/tools/smatch/src/smatch.h
389
struct smatch_state *alloc_state_expr(struct expression *expr);
usr/src/tools/smatch/src/smatch.h
435
const char *show_state(struct smatch_state *state);
usr/src/tools/smatch/src/smatch.h
53
#define STATE(_x) static struct smatch_state _x = { .name = #_x }
usr/src/tools/smatch/src/smatch.h
54
extern struct smatch_state undefined;
usr/src/tools/smatch/src/smatch.h
55
extern struct smatch_state ghost;
usr/src/tools/smatch/src/smatch.h
56
extern struct smatch_state merged;
usr/src/tools/smatch/src/smatch.h
57
extern struct smatch_state true_state;
usr/src/tools/smatch/src/smatch.h
58
extern struct smatch_state false_state;
usr/src/tools/smatch/src/smatch.h
59
DECLARE_ALLOCATOR(smatch_state);
usr/src/tools/smatch/src/smatch.h
795
typedef void (check_tracker_hook)(int owner, const char *name, struct symbol *sym, struct smatch_state *state);
usr/src/tools/smatch/src/smatch.h
803
struct smatch_state *__client_merge_function(int owner,
usr/src/tools/smatch/src/smatch.h
804
struct smatch_state *s1,
usr/src/tools/smatch/src/smatch.h
805
struct smatch_state *s2);
usr/src/tools/smatch/src/smatch.h
806
struct smatch_state *__client_unmatched_state_function(struct sm_state *sm);
usr/src/tools/smatch/src/smatch.h
87
struct smatch_state *state;
usr/src/tools/smatch/src/smatch.h
906
void add_returned_member_callback(int owner, void (*callback)(int return_id, char *return_ranges, struct expression *expr, char *printed_name, struct smatch_state *state));
usr/src/tools/smatch/src/smatch_assigned_expr.c
42
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_assigned_expr.c
52
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_bits.c
165
static struct smatch_state *merge_bstates(struct smatch_state *one_state, struct smatch_state *two_state)
usr/src/tools/smatch/src/smatch_bits.c
243
struct smatch_state *bstate;
usr/src/tools/smatch/src/smatch_bits.c
325
struct smatch_state *new;
usr/src/tools/smatch/src/smatch_bits.c
409
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_bits.c
44
static struct smatch_state *alloc_bstate(unsigned long long set, unsigned long long possible)
usr/src/tools/smatch/src/smatch_bits.c
46
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_bits.c
89
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_bits.c
91
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_buf_comparison.c
112
static struct smatch_state *alloc_compare_size(int limit_type, struct expression *expr)
usr/src/tools/smatch/src/smatch_buf_comparison.c
114
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_buf_comparison.c
246
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_buf_comparison.c
257
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_buf_comparison.c
42
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_buf_comparison.c
47
static struct smatch_state *merge_links(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_buf_comparison.c
732
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_buf_comparison.c
87
int state_to_limit(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_buf_size.c
103
static struct smatch_state *merge_size_func(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_buf_size.c
111
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_buf_size.c
322
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_buf_size.c
428
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_buf_size.c
63
static int estate_to_size(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_buf_size.c
73
static struct smatch_state *size_to_estate(int size)
usr/src/tools/smatch/src/smatch_buf_size.c
93
static struct smatch_state *unmatched_size_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_capped.c
146
struct smatch_state *left_true = NULL;
usr/src/tools/smatch/src/smatch_capped.c
147
struct smatch_state *left_false = NULL;
usr/src/tools/smatch/src/smatch_capped.c
148
struct smatch_state *right_true = NULL;
usr/src/tools/smatch/src/smatch_capped.c
149
struct smatch_state *right_false = NULL;
usr/src/tools/smatch/src/smatch_capped.c
238
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_capped.c
251
struct smatch_state *orig, *estate;
usr/src/tools/smatch/src/smatch_capped.c
41
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_capped.c
43
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1031
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1032
struct smatch_state *true_state, *false_state;
usr/src/tools/smatch/src/smatch_comparison.c
1126
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1148
static void handle_for_loops(struct expression *expr, char *state_name, struct smatch_state *false_state)
usr/src/tools/smatch/src/smatch_comparison.c
1259
static void handle_comparison(struct expression *left_expr, int op, struct expression *right_expr, char **_state_name, struct smatch_state **_false_state)
usr/src/tools/smatch/src/smatch_comparison.c
1268
struct smatch_state *true_state, *false_state;
usr/src/tools/smatch/src/smatch_comparison.c
1363
struct smatch_state *false_state = NULL;
usr/src/tools/smatch/src/smatch_comparison.c
1425
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1464
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1589
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1665
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1819
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1843
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1870
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
1904
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
2152
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
222
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
233
static struct smatch_state *unmatched_comparison(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_comparison.c
2512
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
2562
struct smatch_state *link_state;
usr/src/tools/smatch/src/smatch_comparison.c
567
struct smatch_state *merge_compare_states(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_comparison.c
582
static struct smatch_state *alloc_link_state(struct string_list *links)
usr/src/tools/smatch/src/smatch_comparison.c
584
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
611
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
639
static struct smatch_state *merge_links(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_comparison.c
641
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_comparison.c
651
struct smatch_state *old_state, *new_state;
usr/src/tools/smatch/src/smatch_comparison.c
671
struct smatch_state *state, *new;
usr/src/tools/smatch/src/smatch_comparison.c
69
struct smatch_state *alloc_compare_state(
usr/src/tools/smatch/src/smatch_comparison.c
729
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
736
struct smatch_state *new;
usr/src/tools/smatch/src/smatch_comparison.c
76
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_comparison.c
778
struct smatch_state *old, *new;
usr/src/tools/smatch/src/smatch_comparison.c
93
int state_to_comparison(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_comparison.c
935
static struct smatch_state *get_state_chunk(int owner, struct expression *expr)
usr/src/tools/smatch/src/smatch_comparison.c
939
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_comparison.c
979
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_constraints.c
114
static struct smatch_state *alloc_constraint_state(struct constraint_list *list)
usr/src/tools/smatch/src/smatch_constraints.c
116
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_constraints.c
134
static struct smatch_state *merge_func(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_constraints.c
296
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_constraints.c
353
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_constraints.c
400
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_constraints.c
411
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_constraints.c
431
static struct smatch_state *constraint_str_to_state(char *value)
usr/src/tools/smatch/src/smatch_constraints.c
475
struct smatch_state *orig;
usr/src/tools/smatch/src/smatch_constraints_required.c
259
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_container_of.c
194
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_container_of.c
620
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_db.c
1764
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_db.c
64
void (*callback)(int return_id, char *return_ranges, struct expression *expr, char *printed_name, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_db.c
670
void add_returned_member_callback(int owner, void (*callback)(int return_id, char *return_ranges, struct expression *expr, char *printed_name, struct smatch_state *state))
usr/src/tools/smatch/src/smatch_equiv.c
127
static struct related_list *del_related(struct smatch_state *state, const char *name, struct symbol *sym)
usr/src/tools/smatch/src/smatch_equiv.c
148
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_equiv.c
184
void set_related(struct smatch_state *estate, struct related_list *rlist)
usr/src/tools/smatch/src/smatch_equiv.c
262
void set_equiv_state_expr(int id, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_equiv.c
265
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_estate.c
102
void estate_set_fuzzy_max(struct smatch_state *state, sval_t fuzzy_max)
usr/src/tools/smatch/src/smatch_estate.c
109
void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old)
usr/src/tools/smatch/src/smatch_estate.c
116
void estate_clear_fuzzy_max(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
123
int estate_has_hard_max(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
130
void estate_set_hard_max(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
138
void estate_clear_hard_max(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
143
int estate_get_hard_max(struct smatch_state *state, sval_t *sval)
usr/src/tools/smatch/src/smatch_estate.c
151
bool estate_capped(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
161
void estate_set_capped(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
166
bool estate_treat_untagged(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
178
void estate_set_treat_untagged(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
183
bool estate_new(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
190
void estate_set_new(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
195
sval_t estate_min(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
200
sval_t estate_max(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
205
struct symbol *estate_type(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
235
int estates_equiv(struct smatch_state *one, struct smatch_state *two)
usr/src/tools/smatch/src/smatch_estate.c
256
int estate_is_whole(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
261
int estate_is_empty(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
266
int estate_is_unknown(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
277
int estate_get_single_value(struct smatch_state *state, sval_t *sval)
usr/src/tools/smatch/src/smatch_estate.c
33
struct smatch_state *merge_estates(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_estate.c
330
struct smatch_state *clone_estate(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
332
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_estate.c
343
struct smatch_state *clone_partial_estate(struct smatch_state *state, struct range_list *rl)
usr/src/tools/smatch/src/smatch_estate.c
345
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_estate.c
35
struct smatch_state *tmp;
usr/src/tools/smatch/src/smatch_estate.c
362
struct smatch_state *alloc_estate_empty(void)
usr/src/tools/smatch/src/smatch_estate.c
364
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_estate.c
374
struct smatch_state *alloc_estate_whole(struct symbol *type)
usr/src/tools/smatch/src/smatch_estate.c
379
struct smatch_state *extra_empty(void)
usr/src/tools/smatch/src/smatch_estate.c
381
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_estate.c
389
struct smatch_state *alloc_estate_sval(sval_t sval)
usr/src/tools/smatch/src/smatch_estate.c
391
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_estate.c
401
struct smatch_state *alloc_estate_range(sval_t min, sval_t max)
usr/src/tools/smatch/src/smatch_estate.c
403
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_estate.c
411
struct smatch_state *alloc_estate_rl(struct range_list *rl)
usr/src/tools/smatch/src/smatch_estate.c
413
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_estate.c
424
struct smatch_state *clone_estate_cast(struct symbol *type, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
426
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_estate.c
442
struct smatch_state *get_implied_estate(struct expression *expr)
usr/src/tools/smatch/src/smatch_estate.c
444
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_estate.c
472
struct smatch_state *clone_estate_perm(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
474
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_estate.c
65
struct data_info *get_dinfo(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
72
struct range_list *estate_rl(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
79
struct related_list *estate_related(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
86
sval_t estate_get_fuzzy_max(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_estate.c
95
int estate_has_fuzzy_max(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
101
static void set_union_info(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
105
struct smatch_state *new;
usr/src/tools/smatch/src/smatch_extra.c
1080
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
1115
struct smatch_state *right_state;
usr/src/tools/smatch/src/smatch_extra.c
1232
static struct smatch_state *increment_state(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
1250
static struct smatch_state *decrement_state(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
1293
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
1338
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
1399
struct smatch_state *orig, *new;
usr/src/tools/smatch/src/smatch_extra.c
1429
struct smatch_state *true_state, *false_state;
usr/src/tools/smatch/src/smatch_extra.c
1493
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
1520
struct smatch_state *left_true_state;
usr/src/tools/smatch/src/smatch_extra.c
1521
struct smatch_state *left_false_state;
usr/src/tools/smatch/src/smatch_extra.c
1522
struct smatch_state *right_true_state;
usr/src/tools/smatch/src/smatch_extra.c
1523
struct smatch_state *right_false_state;
usr/src/tools/smatch/src/smatch_extra.c
172
void set_extra_mod_helper(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
191
static void set_extra_nomod_helper(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
2270
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_extra.c
2285
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
2415
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
2447
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
2666
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
2771
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
2805
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
2828
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
2850
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
2881
struct smatch_state *get_extra_state(struct expression *expr)
usr/src/tools/smatch/src/smatch_extra.c
2915
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
351
void set_extra_mod(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
390
static void set_extra_array_mod(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
416
void set_extra_expr_mod(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
435
void set_extra_nomod(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
440
struct smatch_state *orig_state;
usr/src/tools/smatch/src/smatch_extra.c
460
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_extra.c
469
void set_extra_nomod_vsl(const char *name, struct symbol *sym, struct var_sym_list *vsl, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
483
void set_extra_expr_nomod(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
503
struct smatch_state *true_state,
usr/src/tools/smatch/src/smatch_extra.c
504
struct smatch_state *false_state)
usr/src/tools/smatch/src/smatch_extra.c
509
struct smatch_state *orig_state;
usr/src/tools/smatch/src/smatch_extra.c
541
struct smatch_state *true_state,
usr/src/tools/smatch/src/smatch_extra.c
542
struct smatch_state *false_state)
usr/src/tools/smatch/src/smatch_extra.c
572
struct smatch_state *true_state,
usr/src/tools/smatch/src/smatch_extra.c
573
struct smatch_state *false_state)
usr/src/tools/smatch/src/smatch_extra.c
63
typedef void (mod_hook)(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.c
645
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_extra.c
703
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_extra.c
757
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_extra.c
82
void call_extra_hooks(struct void_fn_list *hooks, const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
866
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
91
void call_extra_mod_hooks(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.c
923
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_extra.c
925
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_extra.c
96
void call_extra_nomod_hooks(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_extra.h
105
void set_real_absolute(struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
121
struct smatch_state *alloc_estate_empty(void);
usr/src/tools/smatch/src/smatch_extra.h
122
struct smatch_state *alloc_estate_sval(sval_t sval);
usr/src/tools/smatch/src/smatch_extra.h
123
struct smatch_state *alloc_estate_range(sval_t min, sval_t max);
usr/src/tools/smatch/src/smatch_extra.h
124
struct smatch_state *alloc_estate_rl(struct range_list *rl);
usr/src/tools/smatch/src/smatch_extra.h
125
struct smatch_state *alloc_estate_whole(struct symbol *type);
usr/src/tools/smatch/src/smatch_extra.h
126
struct smatch_state *clone_estate(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
127
struct smatch_state *clone_estate_cast(struct symbol *type, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
128
struct smatch_state *clone_partial_estate(struct smatch_state *state, struct range_list *rl);
usr/src/tools/smatch/src/smatch_extra.h
130
struct smatch_state *merge_estates(struct smatch_state *s1, struct smatch_state *s2);
usr/src/tools/smatch/src/smatch_extra.h
132
int estates_equiv(struct smatch_state *one, struct smatch_state *two);
usr/src/tools/smatch/src/smatch_extra.h
133
int estate_is_whole(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
134
int estate_is_empty(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
136
struct range_list *estate_rl(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
137
struct related_list *estate_related(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
139
sval_t estate_min(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
140
sval_t estate_max(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
141
struct symbol *estate_type(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
143
int estate_has_fuzzy_max(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
144
sval_t estate_get_fuzzy_max(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
145
void estate_set_fuzzy_max(struct smatch_state *state, sval_t max);
usr/src/tools/smatch/src/smatch_extra.h
146
void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old);
usr/src/tools/smatch/src/smatch_extra.h
147
void estate_clear_fuzzy_max(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
148
int estate_has_hard_max(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
149
void estate_set_hard_max(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
150
void estate_clear_hard_max(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
151
int estate_get_hard_max(struct smatch_state *state, sval_t *sval);
usr/src/tools/smatch/src/smatch_extra.h
152
bool estate_capped(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
153
void estate_set_capped(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
154
bool estate_treat_untagged(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
155
void estate_set_treat_untagged(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
156
bool estate_new(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
157
void estate_set_new(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
159
int estate_get_single_value(struct smatch_state *state, sval_t *sval);
usr/src/tools/smatch/src/smatch_extra.h
160
struct smatch_state *get_implied_estate(struct expression *expr);
usr/src/tools/smatch/src/smatch_extra.h
162
struct smatch_state *estate_filter_sval(struct smatch_state *orig, sval_t filter);
usr/src/tools/smatch/src/smatch_extra.h
164
struct smatch_state *clone_estate_perm(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
169
struct smatch_state *get_extra_state(struct expression *expr);
usr/src/tools/smatch/src/smatch_extra.h
170
void call_extra_mod_hooks(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
171
void set_extra_mod(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
172
void set_extra_expr_mod(struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
173
void set_extra_nomod(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
174
void set_extra_nomod_vsl(const char *name, struct symbol *sym, struct var_sym_list *vsl, struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
175
void set_extra_expr_nomod(struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
176
void set_extra_mod_helper(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
178
struct data_info *get_dinfo(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
180
void add_extra_mod_hook(void (*fn)(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state));
usr/src/tools/smatch/src/smatch_extra.h
181
void add_extra_nomod_hook(void (*fn)(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state));
usr/src/tools/smatch/src/smatch_extra.h
198
void set_related(struct smatch_state *estate, struct related_list *rlist);
usr/src/tools/smatch/src/smatch_extra.h
204
void set_equiv_state_expr(int id, struct expression *expr, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_extra.h
233
struct smatch_state *get_orig_estate(const char *name, struct symbol *sym);
usr/src/tools/smatch/src/smatch_extra.h
236
struct smatch_state *get_real_absolute_state(struct expression *expr);
usr/src/tools/smatch/src/smatch_extra.h
237
struct smatch_state *get_real_absolute_state_var_sym(const char *name, struct symbol *sym);
usr/src/tools/smatch/src/smatch_extra.h
84
int estate_is_unknown(struct smatch_state *state);
usr/src/tools/smatch/src/smatch_fresh_alloc.c
71
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_function_hooks.c
1150
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_function_hooks.c
254
struct smatch_state *estate;
usr/src/tools/smatch/src/smatch_function_hooks.c
366
struct smatch_state *ret_state;
usr/src/tools/smatch/src/smatch_function_hooks.c
382
static void store_return_state(struct db_callback_info *db_info, const char *ret_str, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_function_hooks.c
388
static bool fake_a_param_assignment(struct expression *expr, const char *return_str, struct smatch_state *orig)
usr/src/tools/smatch/src/smatch_function_hooks.c
461
struct smatch_state *faked;
usr/src/tools/smatch/src/smatch_function_hooks.c
478
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_function_hooks.c
498
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_function_hooks.c
514
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_function_hooks.c
550
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_helper.c
106
struct smatch_state *alloc_state_expr(struct expression *expr)
usr/src/tools/smatch/src/smatch_helper.c
108
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_helper.c
691
const char *show_state(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_helper.c
75
struct smatch_state *alloc_state_num(int num)
usr/src/tools/smatch/src/smatch_helper.c
77
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_helper.c
88
struct smatch_state *alloc_state_str(const char *name)
usr/src/tools/smatch/src/smatch_helper.c
90
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_helper.c
97
struct smatch_state *merge_str_state(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_hooks.c
191
struct smatch_state *__client_merge_function(int owner,
usr/src/tools/smatch/src/smatch_hooks.c
192
struct smatch_state *s1,
usr/src/tools/smatch/src/smatch_hooks.c
193
struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_hooks.c
195
struct smatch_state *tmp_state;
usr/src/tools/smatch/src/smatch_hooks.c
212
struct smatch_state *__client_unmatched_state_function(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_imaginary_absolute.c
39
static struct smatch_state *empty_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_imaginary_absolute.c
44
struct smatch_state *merge_is_empty(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_imaginary_absolute.c
63
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_implied.c
714
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_integer_overflow.c
184
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_integer_overflow.c
227
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_integer_overflow.c
25
static struct smatch_state *safe_state(struct expression *expr)
usr/src/tools/smatch/src/smatch_integer_overflow.c
27
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1026
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
105
static void extra_nomod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_kernel_user_data.c
107
struct smatch_state *user, *new;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1072
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1115
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1155
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1257
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1343
struct smatch_state *start_state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1441
struct smatch_state *state, *new;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
154
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
180
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
443
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
577
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
613
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
660
struct smatch_state *left_orig, *right_orig;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
708
struct smatch_state *capped_state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
709
struct smatch_state *left_true = NULL;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
710
struct smatch_state *left_false = NULL;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
711
struct smatch_state *right_true = NULL;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
712
struct smatch_state *right_false = NULL;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
81
static struct smatch_state *empty_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_kernel_user_data.c
88
struct smatch_state *user = cur->state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
880
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
89
struct smatch_state *extra;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
90
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
902
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_links.c
26
static struct smatch_state *alloc_link(struct var_sym_list *links)
usr/src/tools/smatch/src/smatch_links.c
28
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_links.c
50
struct smatch_state *merge_link_states(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_links.c
71
struct smatch_state *old_state;
usr/src/tools/smatch/src/smatch_math.c
1046
struct smatch_state *abs_state;
usr/src/tools/smatch/src/smatch_math.c
1720
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_math.c
698
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_math.c
912
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_math.c
929
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_math.c
966
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_math.c
988
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_modification_hooks.c
114
struct smatch_state *prev;
usr/src/tools/smatch/src/smatch_modification_hooks.c
260
struct smatch_state *get_modification_state(struct expression *expr)
usr/src/tools/smatch/src/smatch_modification_hooks.c
49
static struct smatch_state *alloc_my_state(struct expression *expr, struct smatch_state *prev)
usr/src/tools/smatch/src/smatch_modification_hooks.c
51
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_mtag.c
114
struct smatch_state *state)
usr/src/tools/smatch/src/smatch_mtag.c
125
struct smatch_state *get_mtag_return(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_mtag.c
312
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_mtag.c
95
static char *get_allocator_info(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_mtag_data.c
156
void update_mtag_data(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_nul_terminator.c
114
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_nul_terminator.c
154
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_nul_terminator.c
28
static void set_terminated_var_sym(const char *name, struct symbol *sym, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_nul_terminator.c
35
static void set_terminated(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_nul_terminator.c
72
static struct smatch_state *get_terminated_state_var_sym(const char *name, struct symbol *sym)
usr/src/tools/smatch/src/smatch_nul_terminator.c
90
static struct smatch_state *get_terminated_state(struct expression *expr)
usr/src/tools/smatch/src/smatch_param_compare_limit.c
129
struct smatch_state *true_state, struct smatch_state *false_state)
usr/src/tools/smatch/src/smatch_param_compare_limit.c
38
static struct smatch_state *alloc_link_state(struct string_list *links)
usr/src/tools/smatch/src/smatch_param_compare_limit.c
40
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_param_compare_limit.c
62
static struct smatch_state *merge_links(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_param_compare_limit.c
64
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_param_compare_limit.c
74
struct smatch_state *old_state, *new_state;
usr/src/tools/smatch/src/smatch_param_compare_limit.c
96
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_param_filter.c
188
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_param_filter.c
62
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_param_filter.c
64
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_param_filter.c
77
struct smatch_state *extra;
usr/src/tools/smatch/src/smatch_param_filter.c
93
static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_param_limit.c
103
static struct range_list *generify_mtag_range(struct smatch_state *state)
usr/src/tools/smatch/src/smatch_param_limit.c
135
struct smatch_state *state, *old;
usr/src/tools/smatch/src/smatch_param_limit.c
169
static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_param_limit.c
171
struct smatch_state *orig_vals;
usr/src/tools/smatch/src/smatch_param_limit.c
65
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_param_limit.c
67
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_param_limit.c
75
struct smatch_state *get_orig_estate(const char *name, struct symbol *sym)
usr/src/tools/smatch/src/smatch_param_limit.c
77
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_param_limit.c
89
struct smatch_state *get_orig_estate_type(const char *name, struct symbol *sym, struct symbol *type)
usr/src/tools/smatch/src/smatch_param_limit.c
91
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_param_set.c
178
struct smatch_state *extra;
usr/src/tools/smatch/src/smatch_param_set.c
42
static struct smatch_state *unmatched_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_param_set.c
47
static int parent_is_set(const char *name, struct symbol *sym, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_param_set.c
86
static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_param_to_mtag_data.c
53
static struct smatch_state *alloc_tag_data_state(mtag_t tag, char *name, int offset)
usr/src/tools/smatch/src/smatch_param_to_mtag_data.c
55
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_param_to_mtag_data.c
68
struct smatch_state *merge_tag_info(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_parse_call_math.c
120
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_parse_call_math.c
258
static struct smatch_state *alloc_state_sname(char *sname)
usr/src/tools/smatch/src/smatch_parse_call_math.c
260
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_parse_call_math.c
610
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_real_absolute.c
130
struct smatch_state *get_real_absolute_state(struct expression *expr)
usr/src/tools/smatch/src/smatch_real_absolute.c
135
struct smatch_state *get_real_absolute_state_var_sym(const char *name, struct symbol *sym)
usr/src/tools/smatch/src/smatch_real_absolute.c
39
void set_real_absolute(struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_real_absolute.c
44
static void extra_mod_hook(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_real_absolute.c
46
struct smatch_state *abs;
usr/src/tools/smatch/src/smatch_real_absolute.c
58
struct smatch_state *extra;
usr/src/tools/smatch/src/smatch_real_absolute.c
72
static struct smatch_state *empty_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_return_to_param.c
125
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_return_to_param.c
34
static struct smatch_state *alloc_my_state(const char *name, struct symbol *sym)
usr/src/tools/smatch/src/smatch_return_to_param.c
36
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_return_to_param.c
53
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_slist.c
189
struct symbol *sym, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_slist.c
211
struct smatch_state *state)
usr/src/tools/smatch/src/smatch_slist.c
25
ALLOCATOR(smatch_state, "smatch state");
usr/src/tools/smatch/src/smatch_slist.c
409
int slist_has_state(struct state_list *slist, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_slist.c
431
static struct smatch_state *merge_states(int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.c
433
struct smatch_state *state1,
usr/src/tools/smatch/src/smatch_slist.c
434
struct smatch_state *state2)
usr/src/tools/smatch/src/smatch_slist.c
436
struct smatch_state *ret;
usr/src/tools/smatch/src/smatch_slist.c
455
struct smatch_state *s;
usr/src/tools/smatch/src/smatch_slist.c
536
struct smatch_state *get_state_stree(struct stree *stree,
usr/src/tools/smatch/src/smatch_slist.c
565
struct symbol *sym, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_slist.c
574
struct symbol *sym, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_slist.c
651
struct symbol *sym, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_slist.c
679
struct smatch_state *get_state_stree_stack(struct stree_stack *stack,
usr/src/tools/smatch/src/smatch_slist.c
693
struct smatch_state *tmp_state;
usr/src/tools/smatch/src/smatch_slist.h
27
struct symbol *sym, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_slist.h
35
int slist_has_state(struct state_list *slist, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_slist.h
40
struct smatch_state *get_state_stree(struct stree *stree, int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.h
49
struct symbol *sym, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_slist.h
51
struct symbol *sym, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_slist.h
68
struct symbol *sym, struct smatch_state *state);
usr/src/tools/smatch/src/smatch_slist.h
73
struct smatch_state *get_state_stree_stack(struct stree_stack *stack, int owner,
usr/src/tools/smatch/src/smatch_statement_count.c
26
static struct smatch_state *merge_states(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_statement_count.c
41
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_states.c
131
static void call_tracker_hooks(int owner, const char *name, struct symbol *sym, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_states.c
151
struct sm_state *set_state(int owner, const char *name, struct symbol *sym, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_states.c
162
struct smatch_state *s;
usr/src/tools/smatch/src/smatch_states.c
187
struct sm_state *set_state_expr(int owner, struct expression *expr, struct smatch_state *state)
usr/src/tools/smatch/src/smatch_states.c
272
struct smatch_state *s;
usr/src/tools/smatch/src/smatch_states.c
298
struct smatch_state *s;
usr/src/tools/smatch/src/smatch_states.c
321
struct smatch_state *s;
usr/src/tools/smatch/src/smatch_states.c
365
struct smatch_state *__get_state(int owner, const char *name, struct symbol *sym)
usr/src/tools/smatch/src/smatch_states.c
375
struct smatch_state *get_state(int owner, const char *name, struct symbol *sym)
usr/src/tools/smatch/src/smatch_states.c
382
struct smatch_state *get_state_expr(int owner, struct expression *expr)
usr/src/tools/smatch/src/smatch_states.c
386
struct smatch_state *ret = NULL;
usr/src/tools/smatch/src/smatch_states.c
40
struct smatch_state undefined = { .name = "undefined" };
usr/src/tools/smatch/src/smatch_states.c
41
struct smatch_state ghost = { .name = "ghost" };
usr/src/tools/smatch/src/smatch_states.c
42
struct smatch_state merged = { .name = "merged" };
usr/src/tools/smatch/src/smatch_states.c
43
struct smatch_state true_state = { .name = "true" };
usr/src/tools/smatch/src/smatch_states.c
44
struct smatch_state false_state = { .name = "false" };
usr/src/tools/smatch/src/smatch_states.c
557
struct smatch_state *true_state,
usr/src/tools/smatch/src/smatch_states.c
558
struct smatch_state *false_state)
usr/src/tools/smatch/src/smatch_states.c
564
struct smatch_state *tmp;
usr/src/tools/smatch/src/smatch_states.c
587
struct smatch_state *true_state,
usr/src/tools/smatch/src/smatch_states.c
588
struct smatch_state *false_state)
usr/src/tools/smatch/src/smatch_states.c
618
struct smatch_state *tmp;
usr/src/tools/smatch/src/smatch_stored_conditions.c
113
struct smatch_state *old_state, *new_state;
usr/src/tools/smatch/src/smatch_stored_conditions.c
141
static struct smatch_state *alloc_state(struct expression *expr, int is_true)
usr/src/tools/smatch/src/smatch_stored_conditions.c
143
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_stored_conditions.c
194
struct smatch_state *true_state, *false_state;
usr/src/tools/smatch/src/smatch_stored_conditions.c
214
struct smatch_state *get_stored_condition(struct expression *expr)
usr/src/tools/smatch/src/smatch_stored_conditions.c
216
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_stored_conditions.c
230
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_stored_conditions.c
45
static struct smatch_state *alloc_link_state(struct expression_list *expr_list)
usr/src/tools/smatch/src/smatch_stored_conditions.c
48
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_stored_conditions.c
96
static struct smatch_state *merge_links(struct smatch_state *s1, struct smatch_state *s2)
usr/src/tools/smatch/src/smatch_strings.c
75
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_strlen.c
103
struct smatch_state *true_state = NULL;
usr/src/tools/smatch/src/smatch_strlen.c
104
struct smatch_state *false_state = NULL;
usr/src/tools/smatch/src/smatch_strlen.c
237
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_strlen.c
248
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_strlen.c
294
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_strlen.c
36
static struct smatch_state *size_to_estate(int size)
usr/src/tools/smatch/src/smatch_strlen.c
46
static struct smatch_state *unmatched_strlen_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_strlen.c
78
struct smatch_state *state;
usr/src/tools/smatch/src/smatch_type_val.c
129
struct smatch_state *old, *add, *new;
usr/src/tools/smatch/src/smatch_type_val.c
143
struct smatch_state *old, *add, *new;
usr/src/tools/smatch/src/smatch_type_val.c
166
struct smatch_state *old, *add, *new;