Symbol: sm_state
usr/src/tools/smatch/src/avl.c
107
return (struct sm_state *)found->sm;
usr/src/tools/smatch/src/avl.c
110
AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm)
usr/src/tools/smatch/src/avl.c
134
bool avl_insert(struct stree **avl, const struct sm_state *sm)
usr/src/tools/smatch/src/avl.c
152
bool avl_remove(struct stree **avl, const struct sm_state *sm)
usr/src/tools/smatch/src/avl.c
177
static AvlNode *mkNode(const struct sm_state *sm)
usr/src/tools/smatch/src/avl.c
199
static AvlNode *lookup(const struct stree *avl, AvlNode *node, const struct sm_state *sm)
usr/src/tools/smatch/src/avl.c
220
static bool insert_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm)
usr/src/tools/smatch/src/avl.c
250
static bool remove_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm, AvlNode **ret)
usr/src/tools/smatch/src/avl.c
29
static AvlNode *mkNode(const struct sm_state *sm);
usr/src/tools/smatch/src/avl.c
32
static AvlNode *lookup(const struct stree *avl, AvlNode *node, const struct sm_state *sm);
usr/src/tools/smatch/src/avl.c
34
static bool insert_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm);
usr/src/tools/smatch/src/avl.c
35
static bool remove_sm(struct stree *avl, AvlNode **p, const struct sm_state *sm, AvlNode **ret);
usr/src/tools/smatch/src/avl.c
429
const struct sm_state *last = NULL;
usr/src/tools/smatch/src/avl.c
472
iter->sm = (struct sm_state *) node->sm;
usr/src/tools/smatch/src/avl.c
499
iter->sm = (struct sm_state *) node->sm;
usr/src/tools/smatch/src/avl.c
95
struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm)
usr/src/tools/smatch/src/avl.h
107
struct sm_state *sm;
usr/src/tools/smatch/src/avl.h
127
const struct sm_state *sm;
usr/src/tools/smatch/src/avl.h
133
AvlNode *avl_lookup_node(const struct stree *avl, const struct sm_state *sm);
usr/src/tools/smatch/src/avl.h
29
struct sm_state;
usr/src/tools/smatch/src/avl.h
46
struct sm_state *avl_lookup(const struct stree *avl, const struct sm_state *sm);
usr/src/tools/smatch/src/avl.h
55
bool avl_insert(struct stree **avl, const struct sm_state *sm);
usr/src/tools/smatch/src/avl.h
62
bool avl_remove(struct stree **avl, const struct sm_state *sm);
usr/src/tools/smatch/src/check_atomic_inc_dec.c
262
static bool is_maybe_dec(struct sm_state *sm)
usr/src/tools/smatch/src/check_atomic_inc_dec.c
274
struct sm_state *sm;
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
326
struct sm_state *return_sm;
usr/src/tools/smatch/src/check_atomic_inc_dec.c
327
struct sm_state *sm;
usr/src/tools/smatch/src/check_atomic_inc_dec.c
387
struct sm_state *sm;
usr/src/tools/smatch/src/check_atomic_inc_dec.c
396
struct sm_state *sm;
usr/src/tools/smatch/src/check_atomic_inc_dec.c
58
static struct sm_state *get_best_match(const char *key)
usr/src/tools/smatch/src/check_atomic_inc_dec.c
60
struct sm_state *sm;
usr/src/tools/smatch/src/check_atomic_inc_dec.c
61
struct sm_state *match;
usr/src/tools/smatch/src/check_atomic_inc_dec.c
99
struct sm_state *start_sm;
usr/src/tools/smatch/src/check_capable.c
57
struct sm_state *sm;
usr/src/tools/smatch/src/check_capable.c
72
struct sm_state *sm;
usr/src/tools/smatch/src/check_check_deref.c
43
static void is_ok(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_check_deref.c
50
struct sm_state *sm;
usr/src/tools/smatch/src/check_check_deref.c
51
struct sm_state *tmp;
usr/src/tools/smatch/src/check_check_deref.c
82
struct sm_state *sm;
usr/src/tools/smatch/src/check_check_deref.c
83
struct sm_state *tmp;
usr/src/tools/smatch/src/check_container_of.c
30
static void is_ok(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_debug.c
100
struct sm_state *tmp;
usr/src/tools/smatch/src/check_debug.c
341
static void print_possible(struct sm_state *sm)
usr/src/tools/smatch/src/check_debug.c
343
struct sm_state *tmp;
usr/src/tools/smatch/src/check_debug.c
355
struct sm_state *tmp;
usr/src/tools/smatch/src/check_debug.c
430
static void print_related(struct sm_state *sm)
usr/src/tools/smatch/src/check_debug.c
448
struct sm_state *tmp;
usr/src/tools/smatch/src/check_debug.c
51
struct sm_state *sm;
usr/src/tools/smatch/src/check_debug.c
537
struct sm_state *sm;
usr/src/tools/smatch/src/check_debug.c
607
static void print_left_right(struct sm_state *sm)
usr/src/tools/smatch/src/check_debug.c
633
struct sm_state *sm;
usr/src/tools/smatch/src/check_debug.c
766
struct sm_state *sm, *old;
usr/src/tools/smatch/src/check_deref.c
106
struct sm_state *sm;
usr/src/tools/smatch/src/check_deref.c
107
struct sm_state *tmp;
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_deref.c
59
static void is_ok(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_deref.c
66
struct sm_state *sm;
usr/src/tools/smatch/src/check_deref.c
67
struct sm_state *tmp;
usr/src/tools/smatch/src/check_deref_check.c
25
static void underef(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_deref_check.c
68
struct sm_state *sm;
usr/src/tools/smatch/src/check_dereferences_param.c
34
static void set_ignore(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_dereferences_param.c
58
struct sm_state *sm;
usr/src/tools/smatch/src/check_dereferences_param.c
94
struct sm_state *tmp;
usr/src/tools/smatch/src/check_dev_queue_xmit.c
31
static void ok_to_use(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_dev_queue_xmit.c
62
struct sm_state *sm;
usr/src/tools/smatch/src/check_dma_mapping_error.c
27
static void ok_to_use(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_dma_mapping_error.c
55
struct sm_state *sm;
usr/src/tools/smatch/src/check_double_checking.c
225
int get_check_line(struct sm_state *sm)
usr/src/tools/smatch/src/check_double_checking.c
227
struct sm_state *tmp;
usr/src/tools/smatch/src/check_double_checking.c
239
struct sm_state *check, *sm;
usr/src/tools/smatch/src/check_double_checking.c
35
static void set_modified(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_err_ptr.c
43
struct sm_state *tmp;
usr/src/tools/smatch/src/check_err_ptr_deref.c
189
struct sm_state *sm;
usr/src/tools/smatch/src/check_err_ptr_deref.c
190
struct sm_state *tmp;
usr/src/tools/smatch/src/check_err_ptr_deref.c
39
static void ok_to_use(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_err_ptr_deref.c
47
struct sm_state *sm;
usr/src/tools/smatch/src/check_err_ptr_deref.c
73
struct sm_state *sm;
usr/src/tools/smatch/src/check_expects_err_ptr.c
26
static void set_ok(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_free.c
33
static void ok_to_use(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_free.c
39
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
usr/src/tools/smatch/src/check_free.c
47
struct sm_state *sm;
usr/src/tools/smatch/src/check_free_strict.c
245
struct sm_state *sm;
usr/src/tools/smatch/src/check_free_strict.c
315
struct sm_state *sm;
usr/src/tools/smatch/src/check_free_strict.c
33
static void ok_to_use(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_free_strict.c
39
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
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
64
struct sm_state *sm;
usr/src/tools/smatch/src/check_frees_argument.c
70
struct sm_state *tmp;
usr/src/tools/smatch/src/check_frees_param.c
33
static void set_ignore(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_frees_param.c
40
struct sm_state *sm;
usr/src/tools/smatch/src/check_frees_param.c
72
struct sm_state *sm;
usr/src/tools/smatch/src/check_frees_param_strict.c
119
struct sm_state *sm;
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_frees_param_strict.c
42
static void set_ignore(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_get_user_overflow.c
121
struct sm_state *sm;
usr/src/tools/smatch/src/check_held_dev.c
69
struct sm_state *tmp;
usr/src/tools/smatch/src/check_held_dev.c
82
struct sm_state *sm;
usr/src/tools/smatch/src/check_index_overflow.c
354
static void set_undefined(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_info_leak.c
69
struct sm_state *sm;
usr/src/tools/smatch/src/check_input_free_device.c
50
struct sm_state *sm;
usr/src/tools/smatch/src/check_kunmap.c
54
struct sm_state *sm;
usr/src/tools/smatch/src/check_kunmap.c
67
struct sm_state *sm;
usr/src/tools/smatch/src/check_kunmap.c
68
struct sm_state *tmp;
usr/src/tools/smatch/src/check_leaks.c
135
struct sm_state *sm;
usr/src/tools/smatch/src/check_leaks.c
192
struct sm_state *sm;
usr/src/tools/smatch/src/check_leaks.c
229
struct sm_state *tmp;
usr/src/tools/smatch/src/check_locking.c
1170
static int get_caller_param_lock_name(struct expression *call, struct sm_state *sm, const char **name)
usr/src/tools/smatch/src/check_locking.c
1192
struct sm_state *sm;
usr/src/tools/smatch/src/check_locking.c
1251
struct sm_state *sm;
usr/src/tools/smatch/src/check_locking.c
436
static void reset(struct sm_state *sm, struct expression *mod_expr)
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
492
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
usr/src/tools/smatch/src/check_locking.c
520
static struct sm_state *get_best_match(const char *key, enum action lock_unlock)
usr/src/tools/smatch/src/check_locking.c
522
struct sm_state *sm;
usr/src/tools/smatch/src/check_locking.c
523
struct sm_state *match;
usr/src/tools/smatch/src/check_locking.c
565
struct sm_state *match;
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
615
struct sm_state *tmp;
usr/src/tools/smatch/src/check_locking.c
639
struct sm_state *sm;
usr/src/tools/smatch/src/check_locking.c
690
struct sm_state *sm;
usr/src/tools/smatch/src/check_locking.c
712
struct sm_state *sm;
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
843
static int get_param_lock_name(struct sm_state *sm, struct expression *expr,
usr/src/tools/smatch/src/check_locking.c
891
static int get_db_type(struct sm_state *sm)
usr/src/tools/smatch/src/check_locking.c
911
struct sm_state *sm;
usr/src/tools/smatch/src/check_locking.c
997
struct sm_state *return_sm;
usr/src/tools/smatch/src/check_locking.c
998
struct sm_state *sm;
usr/src/tools/smatch/src/check_macro_side_effects.c
65
struct sm_state *sm;
usr/src/tools/smatch/src/check_macro_side_effects.c
66
struct sm_state *tmp;
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
148
struct sm_state *sm;
usr/src/tools/smatch/src/check_nospec.c
101
struct sm_state *sm;
usr/src/tools/smatch/src/check_nospec.c
205
struct sm_state *sm;
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_nospec.c
88
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
usr/src/tools/smatch/src/check_off_by_one_relative.c
85
struct sm_state *sm;
usr/src/tools/smatch/src/check_platform_device_put.c
50
struct sm_state *sm;
usr/src/tools/smatch/src/check_pointer_math.c
24
static void set_undefined(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_puts_argument.c
67
struct sm_state *tmp;
usr/src/tools/smatch/src/check_return_efault.c
33
static void ok_to_use(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_return_efault.c
64
struct sm_state *sm;
usr/src/tools/smatch/src/check_return_enomem.c
31
struct sm_state *sm;
usr/src/tools/smatch/src/check_rosenberg.c
174
struct sm_state *sm;
usr/src/tools/smatch/src/check_rosenberg.c
327
struct sm_state *sm;
usr/src/tools/smatch/src/check_snprintf.c
24
static void ok_to_use(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_snprintf.c
42
static int get_old_buflen(struct sm_state *sm)
usr/src/tools/smatch/src/check_snprintf.c
44
struct sm_state *tmp;
usr/src/tools/smatch/src/check_snprintf.c
57
struct sm_state *sm;
usr/src/tools/smatch/src/check_spectre_second_half.c
45
struct sm_state *sm;
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_template.c
89
struct sm_state *tmp;
usr/src/tools/smatch/src/check_testing_index_after_use.c
33
static void delete(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_testing_index_after_use.c
73
struct sm_state *tmp;
usr/src/tools/smatch/src/check_uninitialized.c
101
struct sm_state *sm;
usr/src/tools/smatch/src/check_uninitialized.c
135
struct sm_state *sm;
usr/src/tools/smatch/src/check_uninitialized.c
237
struct sm_state *sm;
usr/src/tools/smatch/src/check_uninitialized.c
27
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
usr/src/tools/smatch/src/check_unused_ret.c
158
struct sm_state *tmp;
usr/src/tools/smatch/src/check_unused_ret.c
167
struct sm_state *sm;
usr/src/tools/smatch/src/check_unwind.c
137
struct sm_state *tmp;
usr/src/tools/smatch/src/check_wine_filehandles.c
47
static void ok_to_use(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/check_zero_to_err_ptr.c
125
struct sm_state *sm, *tmp;
usr/src/tools/smatch/src/smatch.h
1205
struct sm_state *stored_condition_implication_hook(struct expression *expr,
usr/src/tools/smatch/src/smatch.h
1209
struct sm_state *parsed_condition_implication_hook(struct expression *expr,
usr/src/tools/smatch/src/smatch.h
1213
struct sm_state *comparison_implication_hook(struct expression *expr,
usr/src/tools/smatch/src/smatch.h
1226
int param_has_filter_data(struct sm_state *sm);
usr/src/tools/smatch/src/smatch.h
170
void add_pre_merge_hook(int client_id, void (*hook)(struct sm_state *cur, struct sm_state *other));
usr/src/tools/smatch/src/smatch.h
206
typedef void (modification_hook)(struct sm_state *sm, struct expression *mod_expr);
usr/src/tools/smatch/src/smatch.h
359
struct sm_state *set_state(int owner, const char *name, struct symbol *sym,
usr/src/tools/smatch/src/smatch.h
361
struct sm_state *set_state_expr(int owner, struct expression *expr,
usr/src/tools/smatch/src/smatch.h
600
void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm);
usr/src/tools/smatch/src/smatch.h
724
void __set_sm(struct sm_state *sm);
usr/src/tools/smatch/src/smatch.h
725
void __set_sm_cur_stree(struct sm_state *sm);
usr/src/tools/smatch/src/smatch.h
726
void __set_sm_fake_stree(struct sm_state *sm);
usr/src/tools/smatch/src/smatch.h
727
void __set_true_false_sm(struct sm_state *true_state,
usr/src/tools/smatch/src/smatch.h
728
struct sm_state *false_state);
usr/src/tools/smatch/src/smatch.h
739
struct sm_state *get_sm_state(int owner, const char *name,
usr/src/tools/smatch/src/smatch.h
741
struct sm_state *get_sm_state_expr(int owner, struct expression *expr);
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
807
void call_pre_merge_hook(struct sm_state *cur, struct sm_state *other);
usr/src/tools/smatch/src/smatch.h
89
struct sm_state *left;
usr/src/tools/smatch/src/smatch.h
90
struct sm_state *right;
usr/src/tools/smatch/src/smatch.h
903
void add_member_info_callback(int owner, void (*callback)(struct expression *call, int param, char *printed_name, struct sm_state *sm));
usr/src/tools/smatch/src/smatch.h
904
void add_caller_info_callback(int owner, void (*callback)(struct expression *call, int param, char *printed_name, struct sm_state *sm));
usr/src/tools/smatch/src/smatch.h
917
const char *get_param_name(struct sm_state *sm);
usr/src/tools/smatch/src/smatch.h
921
char *sm_to_arg_name(struct expression *expr, struct sm_state *sm);
usr/src/tools/smatch/src/smatch_assigned_expr.c
33
static void undef(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_bits.c
148
static void match_modify(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_bits.c
406
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
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_buf_comparison.c
156
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_buf_comparison.c
220
struct sm_state *tmp;
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
421
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_buf_comparison.c
59
static void match_link_modify(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_buf_comparison.c
62
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_buf_comparison.c
620
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_buf_comparison.c
644
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_buf_comparison.c
664
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_buf_comparison.c
665
struct sm_state *poss;
usr/src/tools/smatch/src/smatch_buf_comparison.c
695
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_buf_comparison.c
733
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_buf_size.c
848
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
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_buf_size.c
98
static void set_size_undefined(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_capped.c
236
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_capped.c
252
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_capped.c
36
static void set_uncapped(struct sm_state *sm, struct expression *mod_expr)
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_comparison.c
1137
static void iter_modify(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_comparison.c
1765
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_comparison.c
1822
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_comparison.c
1846
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_comparison.c
1873
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_comparison.c
1874
struct sm_state *possible;
usr/src/tools/smatch/src/smatch_comparison.c
2153
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_comparison.c
2219
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *link_sm)
usr/src/tools/smatch/src/smatch_comparison.c
2221
struct sm_state *compare_sm;
usr/src/tools/smatch/src/smatch_comparison.c
2308
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_comparison.c
2311
struct sm_state *sm;
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
2563
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_comparison.c
2645
static struct sm_state *clone_partial_sm(struct sm_state *sm, int comparison)
usr/src/tools/smatch/src/smatch_comparison.c
2648
struct sm_state *clone;
usr/src/tools/smatch/src/smatch_comparison.c
2667
static void create_fake_history(struct sm_state *sm, int op,
usr/src/tools/smatch/src/smatch_comparison.c
2671
struct sm_state *true_sm, *false_sm;
usr/src/tools/smatch/src/smatch_comparison.c
2695
static void filter_by_sm(struct sm_state *sm, int op,
usr/src/tools/smatch/src/smatch_comparison.c
2750
struct sm_state *comparison_implication_hook(struct expression *expr,
usr/src/tools/smatch/src/smatch_comparison.c
2754
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_comparison.c
539
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
usr/src/tools/smatch/src/smatch_comparison.c
668
static void match_inc(struct sm_state *sm, bool preserve)
usr/src/tools/smatch/src/smatch_comparison.c
726
static void match_dec(struct sm_state *sm, bool preserve)
usr/src/tools/smatch/src/smatch_comparison.c
770
static void reset_sm(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_comparison.c
796
static bool match_add_sub_assign(struct sm_state *sm, struct expression *expr)
usr/src/tools/smatch/src/smatch_comparison.c
819
static void match_inc_dec(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_comparison.c
844
static void match_modify(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_conditions.c
245
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_conditions.c
557
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_conditions.c
631
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_constraints.c
424
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_constraints.c
476
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_container_of.c
553
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
1174
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
1559
static int ptr_in_list(struct sm_state *sm, struct state_list *slist)
usr/src/tools/smatch/src/smatch_db.c
1561
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_db.c
1571
static int split_possible_helper(struct sm_state *sm, struct expression *expr)
usr/src/tools/smatch/src/smatch_db.c
1576
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_db.c
1643
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
165
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
1652
static bool has_possible_negative(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_db.c
1654
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_db.c
1670
static bool has_separate_zero_null(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_db.c
1672
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_db.c
1687
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
1763
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
1827
static bool is_kernel_success_fail(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_db.c
1829
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_db.c
1860
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
1936
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
1946
static struct sm_state *find_bool_param(void)
usr/src/tools/smatch/src/smatch_db.c
1950
struct sm_state *sm, *tmp;
usr/src/tools/smatch/src/smatch_db.c
1984
static int split_on_bool_sm(struct sm_state *sm, struct expression *expr)
usr/src/tools/smatch/src/smatch_db.c
1989
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_db.c
2028
struct sm_state *start_sm, *sm;
usr/src/tools/smatch/src/smatch_db.c
2047
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
2178
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
2790
const char *get_param_name(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_db.c
48
void (*callback)(struct expression *call, int param, char *printed_name, struct sm_state *sm);
usr/src/tools/smatch/src/smatch_db.c
644
void add_member_info_callback(int owner, void (*callback)(struct expression *call, int param, char *printed_name, struct sm_state *sm))
usr/src/tools/smatch/src/smatch_db.c
653
void add_caller_info_callback(int owner, void (*callback)(struct expression *call, int param, char *printed_name, struct sm_state *sm))
usr/src/tools/smatch/src/smatch_db.c
720
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_db.c
835
char *sm_to_arg_name(struct expression *expr, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_db.c
891
void (*callback)(struct expression *call, int param, char *printed_name, struct sm_state *sm),
usr/src/tools/smatch/src/smatch_db.c
894
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_equiv.c
146
struct sm_state *orig_sm;
usr/src/tools/smatch/src/smatch_equiv.c
159
struct sm_state *old_sm, *new_sm;
usr/src/tools/smatch/src/smatch_equiv.c
198
struct sm_state *right_sm, *left_sm, *other_sm;
usr/src/tools/smatch/src/smatch_equiv.c
248
struct sm_state *old_sm, *new_sm;
usr/src/tools/smatch/src/smatch_extra.c
2341
static int is_kzalloc_info(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_extra.c
2361
static int is_really_long(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_extra.c
2378
static int filter_unused_param_value_info(struct expression *call, int param, char *printed_name, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_extra.c
2458
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_extra.c
2486
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_extra.c
2581
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_extra.c
261
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_extra.c
2865
struct sm_state *get_extra_sm_state(struct expression *expr)
usr/src/tools/smatch/src/smatch_extra.c
2869
struct sm_state *ret = NULL;
usr/src/tools/smatch/src/smatch_extra.c
2883
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_extra.c
2911
static void match_link_modify(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_extra.c
383
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_extra.c
40
static void match_link_modify(struct sm_state *sm, struct expression *mod_expr);
usr/src/tools/smatch/src/smatch_extra.c
639
static struct sm_state *handle_canonical_while_count_down(struct statement *loop)
usr/src/tools/smatch/src/smatch_extra.c
644
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_extra.c
698
static struct sm_state *handle_canonical_for_inc(struct expression *iter_expr,
usr/src/tools/smatch/src/smatch_extra.c
702
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_extra.c
752
static struct sm_state *handle_canonical_for_dec(struct expression *iter_expr,
usr/src/tools/smatch/src/smatch_extra.c
756
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_extra.c
792
static struct sm_state *handle_canonical_for_loops(struct statement *loop)
usr/src/tools/smatch/src/smatch_extra.c
815
struct sm_state *__extra_handle_canonical_loops(struct statement *loop, struct stree **stree)
usr/src/tools/smatch/src/smatch_extra.c
817
struct sm_state *ret;
usr/src/tools/smatch/src/smatch_extra.c
838
int __iterator_unchanged(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_extra.c
847
static void while_count_down_after(struct sm_state *sm, struct expression *condition)
usr/src/tools/smatch/src/smatch_extra.c
860
void __extra_pre_loop_hook_after(struct sm_state *sm,
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
945
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_extra.h
168
struct sm_state *get_extra_sm_state(struct expression *expr);
usr/src/tools/smatch/src/smatch_extra.h
190
struct sm_state *__extra_handle_canonical_loops(struct statement *loop, struct stree **stree);
usr/src/tools/smatch/src/smatch_extra.h
191
int __iterator_unchanged(struct sm_state *sm);
usr/src/tools/smatch/src/smatch_extra.h
192
void __extra_pre_loop_hook_after(struct sm_state *sm,
usr/src/tools/smatch/src/smatch_flow.c
1830
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_flow.c
614
struct sm_state *extra_sm = NULL;
usr/src/tools/smatch/src/smatch_flow.c
618
struct sm_state *sm = NULL;
usr/src/tools/smatch/src/smatch_fresh_alloc.c
139
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_fresh_alloc.c
69
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
usr/src/tools/smatch/src/smatch_function_hooks.c
1177
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_function_hooks.c
251
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_function_hooks.c
373
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_function_hooks.c
742
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_function_hooks.c
982
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_hooks.c
121
void add_pre_merge_hook(int client_id, void (*hook)(struct sm_state *cur, struct sm_state *other))
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_hooks.c
223
void call_pre_merge_hook(struct sm_state *cur, struct sm_state *other)
usr/src/tools/smatch/src/smatch_hooks.c
84
void (**pre_merge_hooks)(struct sm_state *cur, struct sm_state *other);
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
49
static void reset(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_implied.c
1016
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_implied.c
1017
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
103
static void print_debug_tf(struct sm_state *sm, int istrue, int isfalse)
usr/src/tools/smatch/src/smatch_implied.c
1096
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_implied.c
1138
static void get_tf_stacks_from_pool(struct sm_state *gate_sm,
usr/src/tools/smatch/src/smatch_implied.c
1139
struct sm_state *pool_sm,
usr/src/tools/smatch/src/smatch_implied.c
1143
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
1176
void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm)
usr/src/tools/smatch/src/smatch_implied.c
1182
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
139
static int create_fake_history(struct sm_state *sm, int comparison, struct range_list *rl)
usr/src/tools/smatch/src/smatch_implied.c
144
struct sm_state *true_sm, *false_sm;
usr/src/tools/smatch/src/smatch_implied.c
211
void add_pool(struct state_list **pools, struct sm_state *new)
usr/src/tools/smatch/src/smatch_implied.c
213
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
231
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
244
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
287
static void do_compare(struct sm_state *sm, int comparison, struct range_list *rl,
usr/src/tools/smatch/src/smatch_implied.c
291
int *mixed, struct sm_state *gate_sm)
usr/src/tools/smatch/src/smatch_implied.c
327
static int is_checked(struct state_list *checked, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_implied.c
329
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
346
static void __separate_pools(struct sm_state *sm, int comparison, struct range_list *rl,
usr/src/tools/smatch/src/smatch_implied.c
350
struct state_list **checked, int *mixed, struct sm_state *gate_sm,
usr/src/tools/smatch/src/smatch_implied.c
387
static void separate_pools(struct sm_state *sm, int comparison, struct range_list *rl,
usr/src/tools/smatch/src/smatch_implied.c
393
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
401
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_implied.c
429
static int sm_in_keep_leafs(struct sm_state *sm, const struct state_list *keep_gates)
usr/src/tools/smatch/src/smatch_implied.c
431
struct sm_state *tmp, *old;
usr/src/tools/smatch/src/smatch_implied.c
468
static char *sm_state_info(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_implied.c
499
struct sm_state *filter_pools(struct sm_state *sm,
usr/src/tools/smatch/src/smatch_implied.c
505
struct sm_state *ret = NULL;
usr/src/tools/smatch/src/smatch_implied.c
506
struct sm_state *left;
usr/src/tools/smatch/src/smatch_implied.c
507
struct sm_state *right;
usr/src/tools/smatch/src/smatch_implied.c
587
static struct stree *filter_stack(struct sm_state *gate_sm,
usr/src/tools/smatch/src/smatch_implied.c
593
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_implied.c
594
struct sm_state *filtered_sm;
usr/src/tools/smatch/src/smatch_implied.c
628
static void separate_and_filter(struct sm_state *sm, int comparison, struct range_list *rl,
usr/src/tools/smatch/src/smatch_implied.c
699
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_implied.c
734
struct sm_state *sm = NULL;
usr/src/tools/smatch/src/smatch_implied.c
784
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_implied.c
823
struct sm_state *sm, *true_sm, *false_sm;
usr/src/tools/smatch/src/smatch_implied.c
874
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_implied.c
899
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_implied.c
926
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_implied.c
976
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_integer_overflow.c
223
static void check_links(struct expression *call, struct expression *arg, int nr, struct sm_state *sm, void *_vsl)
usr/src/tools/smatch/src/smatch_integer_overflow.c
258
struct sm_state *link;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1070
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_kernel_user_data.c
1342
struct sm_state *sm;
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
853
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_kernel_user_data.c
86
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
usr/src/tools/smatch/src/smatch_links.c
87
static void match_link_modify(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_modification_hooks.c
113
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_modification_hooks.c
86
static int matches(char *name, struct symbol *sym, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_mtag_data.c
50
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_nul_terminator.c
124
static int sm_to_term(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_nul_terminator.c
126
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_nul_terminator.c
141
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
usr/src/tools/smatch/src/smatch_nul_terminator.c
187
struct sm_state *tmp, *sm;
usr/src/tools/smatch/src/smatch_nul_terminator.c
74
struct sm_state *sm, *tmp;
usr/src/tools/smatch/src/smatch_nul_terminator.c
92
struct sm_state *sm, *tmp;
usr/src/tools/smatch/src/smatch_param_cleared.c
76
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_param_compare_limit.c
176
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_param_compare_limit.c
179
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_param_filter.c
136
int param, struct sm_state *sm, struct string_list **totally_filtered)
usr/src/tools/smatch/src/smatch_param_filter.c
161
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_param_filter.c
162
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_param_filter.c
186
int param_has_filter_data(struct sm_state *sm)
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
75
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
usr/src/tools/smatch/src/smatch_param_limit.c
136
struct sm_state *tmp;
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_set.c
177
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_param_set.c
268
static int possibly_empty(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_param_set.c
270
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_param_set.c
281
struct sm_state *sm;
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_to_mtag_data.c
188
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_param_used.c
71
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_parsed_conditions.c
69
static void filter_by_sm(struct sm_state *sm,
usr/src/tools/smatch/src/smatch_parsed_conditions.c
87
struct sm_state *parsed_condition_implication_hook(struct expression *expr,
usr/src/tools/smatch/src/smatch_parsed_conditions.c
93
struct sm_state *sm, *tmp;
usr/src/tools/smatch/src/smatch_real_absolute.c
56
static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
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
101
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_return_to_param.c
44
static void undef(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_return_to_param.c
69
static char *map_my_state_long_to_short(struct sm_state *sm, const char *name, struct symbol *sym, struct symbol **new_sym, bool stack)
usr/src/tools/smatch/src/smatch_slist.c
1016
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_slist.c
1085
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_slist.c
143
static int cmp_possible_sm(const struct sm_state *a, const struct sm_state *b, int preserve)
usr/src/tools/smatch/src/smatch_slist.c
188
struct sm_state *alloc_sm_state(int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.c
191
struct sm_state *sm_state = __alloc_sm_state(0);
usr/src/tools/smatch/src/smatch_slist.c
195
sm_state->name = alloc_sname(name);
usr/src/tools/smatch/src/smatch_slist.c
196
sm_state->owner = owner;
usr/src/tools/smatch/src/smatch_slist.c
197
sm_state->sym = sym;
usr/src/tools/smatch/src/smatch_slist.c
198
sm_state->state = state;
usr/src/tools/smatch/src/smatch_slist.c
199
sm_state->line = get_lineno();
usr/src/tools/smatch/src/smatch_slist.c
200
sm_state->merged = 0;
usr/src/tools/smatch/src/smatch_slist.c
201
sm_state->pool = NULL;
usr/src/tools/smatch/src/smatch_slist.c
202
sm_state->left = NULL;
usr/src/tools/smatch/src/smatch_slist.c
203
sm_state->right = NULL;
usr/src/tools/smatch/src/smatch_slist.c
204
sm_state->possible = NULL;
usr/src/tools/smatch/src/smatch_slist.c
205
add_ptr_list(&sm_state->possible, sm_state);
usr/src/tools/smatch/src/smatch_slist.c
206
return sm_state;
usr/src/tools/smatch/src/smatch_slist.c
209
static struct sm_state *alloc_state_no_name(int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.c
213
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_slist.c
220
int too_many_possible(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_slist.c
227
void add_possible_sm(struct sm_state *to, struct sm_state *new)
usr/src/tools/smatch/src/smatch_slist.c
229
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_slist.c
250
static void copy_possibles(struct sm_state *to, struct sm_state *one, struct sm_state *two)
usr/src/tools/smatch/src/smatch_slist.c
252
struct sm_state *large = one;
usr/src/tools/smatch/src/smatch_slist.c
253
struct sm_state *small = two;
usr/src/tools/smatch/src/smatch_slist.c
254
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_slist.c
26
ALLOCATOR(sm_state, "sm state");
usr/src/tools/smatch/src/smatch_slist.c
298
if (sm_state_counter * sizeof(struct sm_state) >= 100000000)
usr/src/tools/smatch/src/smatch_slist.c
324
if (sm_state_counter * sizeof(struct sm_state) >= 25000000)
usr/src/tools/smatch/src/smatch_slist.c
329
static void free_sm_state(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_slist.c
34
const char *show_sm(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_slist.c
342
unsigned int size = sizeof(struct sm_state);
usr/src/tools/smatch/src/smatch_slist.c
346
free_sm_state((struct sm_state *)(blob->data + offset));
usr/src/tools/smatch/src/smatch_slist.c
37
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_slist.c
384
struct sm_state *clone_sm(struct sm_state *s)
usr/src/tools/smatch/src/smatch_slist.c
386
struct sm_state *ret;
usr/src/tools/smatch/src/smatch_slist.c
399
int is_merged(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_slist.c
404
int is_leaf(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_slist.c
411
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_slist.c
422
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_slist.c
453
struct sm_state *merge_sm_states(struct sm_state *one, struct sm_state *two)
usr/src/tools/smatch/src/smatch_slist.c
456
struct sm_state *result;
usr/src/tools/smatch/src/smatch_slist.c
499
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_slist.c
520
struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.c
533
return avl_lookup(stree, (struct sm_state *)&tracker);
usr/src/tools/smatch/src/smatch_slist.c
540
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_slist.c
549
void overwrite_sm_state_stree(struct stree **stree, struct sm_state *new)
usr/src/tools/smatch/src/smatch_slist.c
555
struct sm_state *sm)
usr/src/tools/smatch/src/smatch_slist.c
564
struct sm_state *set_state_stree(struct stree **stree, int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.c
567
struct sm_state *new = alloc_sm_state(owner, name, sym, state);
usr/src/tools/smatch/src/smatch_slist.c
576
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_slist.c
598
avl_remove(stree, (struct sm_state *)&tracker);
usr/src/tools/smatch/src/smatch_slist.c
650
struct sm_state *set_state_stree_stack(struct stree_stack **stack, int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.c
654
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_slist.c
666
struct sm_state *get_sm_state_stree_stack(struct stree_stack *stack,
usr/src/tools/smatch/src/smatch_slist.c
671
struct sm_state *ret;
usr/src/tools/smatch/src/smatch_slist.c
683
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_slist.c
694
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_slist.c
750
struct sm_state *sm, *cur;
usr/src/tools/smatch/src/smatch_slist.c
786
struct sm_state *sm, *tmp;
usr/src/tools/smatch/src/smatch_slist.c
79
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_slist.c
816
struct sm_state *one, *two, *res;
usr/src/tools/smatch/src/smatch_slist.c
91
int cmp_tracker(const struct sm_state *a, const struct sm_state *b)
usr/src/tools/smatch/src/smatch_slist.c
910
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_slist.h
21
const char *show_sm(struct sm_state *sm);
usr/src/tools/smatch/src/smatch_slist.h
23
void add_history(struct sm_state *sm);
usr/src/tools/smatch/src/smatch_slist.h
24
int cmp_tracker(const struct sm_state *a, const struct sm_state *b);
usr/src/tools/smatch/src/smatch_slist.h
26
struct sm_state *alloc_sm_state(int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.h
30
struct sm_state *clone_sm(struct sm_state *s);
usr/src/tools/smatch/src/smatch_slist.h
31
int is_merged(struct sm_state *sm);
usr/src/tools/smatch/src/smatch_slist.h
32
int is_leaf(struct sm_state *sm);
usr/src/tools/smatch/src/smatch_slist.h
37
int too_many_possible(struct sm_state *sm);
usr/src/tools/smatch/src/smatch_slist.h
38
void add_possible_sm(struct sm_state *to, struct sm_state *new);
usr/src/tools/smatch/src/smatch_slist.h
39
struct sm_state *merge_sm_states(struct sm_state *one, struct sm_state *two);
usr/src/tools/smatch/src/smatch_slist.h
43
struct sm_state *get_sm_state_stree(struct stree *stree, int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.h
46
void overwrite_sm_state_stree(struct stree **stree, struct sm_state *sm);
usr/src/tools/smatch/src/smatch_slist.h
47
void overwrite_sm_state_stree_stack(struct stree_stack **stack, struct sm_state *sm);
usr/src/tools/smatch/src/smatch_slist.h
48
struct sm_state *set_state_stree(struct stree **stree, int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.h
5
DECLARE_PTR_LIST(state_list, struct sm_state);
usr/src/tools/smatch/src/smatch_slist.h
67
struct sm_state *set_state_stree_stack(struct stree_stack **stack, int owner, const char *name,
usr/src/tools/smatch/src/smatch_slist.h
70
struct sm_state *get_sm_state_stree_stack(struct stree_stack *stack,
usr/src/tools/smatch/src/smatch_states.c
1100
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_states.c
1120
struct sm_state *sm;
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
153
struct sm_state *ret;
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
191
struct sm_state *ret = NULL;
usr/src/tools/smatch/src/smatch_states.c
251
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_states.c
252
struct sm_state *orig;
usr/src/tools/smatch/src/smatch_states.c
253
struct sm_state *merged;
usr/src/tools/smatch/src/smatch_states.c
265
void __set_sm(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_states.c
291
void __set_sm_cur_stree(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_states.c
314
void __set_sm_fake_stree(struct sm_state *sm)
usr/src/tools/smatch/src/smatch_states.c
367
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_states.c
400
struct sm_state *sms;
usr/src/tools/smatch/src/smatch_states.c
424
struct sm_state *get_sm_state(int owner, const char *name, struct symbol *sym)
usr/src/tools/smatch/src/smatch_states.c
426
struct sm_state *ret;
usr/src/tools/smatch/src/smatch_states.c
435
struct sm_state *get_sm_state_expr(int owner, struct expression *expr)
usr/src/tools/smatch/src/smatch_states.c
439
struct sm_state *ret = NULL;
usr/src/tools/smatch/src/smatch_states.c
478
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_states.c
529
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_states.c
602
void __set_true_false_sm(struct sm_state *true_sm, struct sm_state *false_sm)
usr/src/tools/smatch/src/smatch_states.c
79
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_states.c
790
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_states.c
985
struct sm_state *sm, *new;
usr/src/tools/smatch/src/smatch_stored_conditions.c
125
static void match_link_modify(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_stored_conditions.c
255
static void filter_by_sm(struct sm_state *sm,
usr/src/tools/smatch/src/smatch_stored_conditions.c
278
struct sm_state *stored_condition_implication_hook(struct expression *expr,
usr/src/tools/smatch/src/smatch_stored_conditions.c
282
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_stored_conditions.c
287
struct sm_state *tmp;
usr/src/tools/smatch/src/smatch_strings.c
113
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_strings.c
76
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_strlen.c
325
static void struct_member_callback(struct expression *call, int param, char *printed_name, struct sm_state *sm)
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
51
static void set_strlen_undefined(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_strlen.c
56
static void set_strlen_equiv_undefined(struct sm_state *sm, struct expression *mod_expr)
usr/src/tools/smatch/src/smatch_struct_assignment.c
330
struct sm_state *sm, *new_sm;
usr/src/tools/smatch/src/smatch_type_val.c
638
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_type_val.c
657
struct sm_state *sm;
usr/src/tools/smatch/src/smatch_untracked_param.c
217
struct sm_state *sm;
usr/src/uts/common/io/sfxge/sfxge.h
138
sfxge_mac_state_t sm_state;
usr/src/uts/common/io/sfxge/sfxge.h
158
sfxge_mon_state_t sm_state;
usr/src/uts/common/io/sfxge/sfxge.h
187
sfxge_mcdi_state_t sm_state;
usr/src/uts/common/io/sfxge/sfxge_gld_v3.c
121
if (sp->s_mac.sm_state != SFXGE_MAC_STARTED) {
usr/src/uts/common/io/sfxge/sfxge_mac.c
1022
ASSERT3U(smp->sm_state, ==, SFXGE_MAC_INITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mac.c
1029
smp->sm_state = SFXGE_MAC_UNINITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mac.c
140
if (smp->sm_state != SFXGE_MAC_STARTED)
usr/src/uts/common/io/sfxge/sfxge_mac.c
258
if (smp->sm_state != SFXGE_MAC_STARTED)
usr/src/uts/common/io/sfxge/sfxge_mac.c
280
while (smp->sm_state == SFXGE_MAC_STARTED) {
usr/src/uts/common/io/sfxge/sfxge_mac.c
306
while (smp->sm_state == SFXGE_MAC_STARTED) {
usr/src/uts/common/io/sfxge/sfxge_mac.c
325
ASSERT3U(smp->sm_state, ==, SFXGE_MAC_STARTED);
usr/src/uts/common/io/sfxge/sfxge_mac.c
337
ASSERT3U(smp->sm_state, ==, SFXGE_MAC_INITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mac.c
364
ASSERT3U(smp->sm_state, ==, SFXGE_MAC_UNINITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mac.c
438
smp->sm_state = SFXGE_MAC_INITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mac.c
483
if (smp->sm_state == SFXGE_MAC_STARTED) {
usr/src/uts/common/io/sfxge/sfxge_mac.c
524
ASSERT3U(smp->sm_state, ==, SFXGE_MAC_INITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mac.c
561
smp->sm_state = SFXGE_MAC_STARTED;
usr/src/uts/common/io/sfxge/sfxge_mac.c
605
if (smp->sm_state != SFXGE_MAC_STARTED)
usr/src/uts/common/io/sfxge/sfxge_mac.c
734
if (smp->sm_state != SFXGE_MAC_STARTED)
usr/src/uts/common/io/sfxge/sfxge_mac.c
766
if (smp->sm_state != SFXGE_MAC_INITIALIZED &&
usr/src/uts/common/io/sfxge/sfxge_mac.c
767
smp->sm_state != SFXGE_MAC_STARTED) {
usr/src/uts/common/io/sfxge/sfxge_mac.c
82
ASSERT3U(smp->sm_state, !=, SFXGE_MAC_UNINITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mac.c
827
if (smp->sm_state != SFXGE_MAC_STARTED)
usr/src/uts/common/io/sfxge/sfxge_mac.c
990
ASSERT3U(smp->sm_state, ==, SFXGE_MAC_STARTED);
usr/src/uts/common/io/sfxge/sfxge_mac.c
992
smp->sm_state = SFXGE_MAC_INITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
108
ASSERT((smp->sm_state == SFXGE_MCDI_BUSY) ||
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
109
(smp->sm_state == SFXGE_MCDI_COMPLETED));
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
111
smp->sm_state = SFXGE_MCDI_INITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
187
ASSERT(smp->sm_state == SFXGE_MCDI_BUSY);
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
188
smp->sm_state = SFXGE_MCDI_COMPLETED;
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
281
ASSERT3U(smp->sm_state, ==, SFXGE_MCDI_UNINITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
301
smp->sm_state = SFXGE_MCDI_INITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
327
smp->sm_state = SFXGE_MCDI_UNINITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
347
ASSERT3U(smp->sm_state, ==, SFXGE_MCDI_INITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
362
smp->sm_state = SFXGE_MCDI_UNINITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
376
if (smp->sm_state == SFXGE_MCDI_UNINITIALIZED) {
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
440
if (smp->sm_state == SFXGE_MCDI_UNINITIALIZED) {
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
92
ASSERT3U(smp->sm_state, !=, SFXGE_MCDI_UNINITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
94
while (smp->sm_state != SFXGE_MCDI_INITIALIZED) {
usr/src/uts/common/io/sfxge/sfxge_mcdi.c
97
smp->sm_state = SFXGE_MCDI_BUSY;
usr/src/uts/common/io/sfxge/sfxge_mon.c
219
ASSERT3U(smp->sm_state, ==, SFXGE_MON_UNINITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mon.c
242
smp->sm_state = SFXGE_MON_INITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mon.c
274
ASSERT3U(smp->sm_state, ==, SFXGE_MON_INITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mon.c
280
smp->sm_state = SFXGE_MON_STARTED;
usr/src/uts/common/io/sfxge/sfxge_mon.c
301
ASSERT3U(smp->sm_state, ==, SFXGE_MON_STARTED);
usr/src/uts/common/io/sfxge/sfxge_mon.c
302
smp->sm_state = SFXGE_MON_INITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mon.c
316
ASSERT3U(smp->sm_state, ==, SFXGE_MON_INITIALIZED);
usr/src/uts/common/io/sfxge/sfxge_mon.c
321
smp->sm_state = SFXGE_MON_UNINITIALIZED;
usr/src/uts/common/io/sfxge/sfxge_mon.c
82
if (smp->sm_state != SFXGE_MON_STARTED)
usr/src/uts/common/io/sfxge/sfxge_phy.c
235
if (smp->sm_state != SFXGE_MAC_STARTED)
usr/src/uts/common/io/sfxge/sfxge_phy.c
321
if (smp->sm_state != SFXGE_MAC_STARTED)
usr/src/uts/common/io/sfxge/sfxge_phy.c
347
if (smp->sm_state != SFXGE_MAC_STARTED) {
usr/src/uts/common/io/sfxge/sfxge_phy.c
91
if (smp->sm_state != SFXGE_MAC_STARTED)
usr/src/uts/common/klm/nlm_impl.c
680
int32_t sm_state;
usr/src/uts/common/klm/nlm_impl.c
704
stat = nlm_nsm_stat(&nsm, &sm_state);
usr/src/uts/common/klm/nlm_impl.c
713
if (sm_state != hostp->nh_state) {
usr/src/uts/common/klm/nlm_impl.c
722
nlm_host_notify_client(hostp, sm_state);
usr/src/uts/common/klm/nlm_impl.c
723
nlm_host_notify_server(hostp, sm_state);
usr/src/uts/common/sys/fibre-channel/ulp/fcsm.h
110
uint32_t sm_state; /* San Mgmt State information */