Searched refs:my_id (Results 1 - 25 of 159) sorted by relevance

1234567

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_imaginary_absolute.c37 static int my_id; variable
51 set_state(my_id, sm->name, sm->sym, alloc_estate_empty());
58 set_true_false_states_expr(my_id, expr, alloc_estate_rl(true_rl), alloc_estate_rl(false_rl));
67 state = get_state_expr(my_id, expr);
77 my_id = id;
79 set_dynamic_states(my_id);
80 add_unmatched_state_hook(my_id, &empty_state);
81 add_merge_hook(my_id, &merge_is_empty);
82 add_modification_hook(my_id, &reset);
H A Dcheck_container_of.c26 static int my_id; variable
32 set_state(my_id, sm->name, sm->sym, &undefined);
37 set_state_expr(my_id, expr->left, &non_null);
48 if (get_state_expr(my_id, expr) == &non_null) {
53 set_state_expr(my_id, expr, &undefined);
63 my_id = id;
67 add_modification_hook(my_id, &is_ok);
H A Dcheck_input_free_device.c30 static int my_id; variable
34 if (get_state_expr(my_id, expr->left)) {
35 set_state_expr(my_id, expr->left, &ok);
44 set_state_expr(my_id, arg, &no_free);
53 sm = get_sm_state_expr(my_id, arg);
63 my_id = id;
H A Dcheck_spectre_second_half.c25 static int my_id; variable
40 set_state_stree(&first_halfs, my_id, buf, NULL, alloc_state_num(get_stmt_cnt()));
47 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) {
48 set_state(my_id, sm->name, sm->sym, alloc_state_num(-MAX_SPEC_STMT));
61 return get_state_stree(first_halfs, my_id, buf, NULL);
73 set_state_expr(my_id, expr->left, state);
77 state = get_state_expr(my_id, expr->right);
80 set_state_expr(my_id, expr->left, state);
92 state = get_state_expr(my_id, expr);
103 set_state_expr(my_id, exp
[all...]
H A Dsmatch_real_absolute.c37 static int my_id; variable
44 abs = get_state(my_id, name, sym);
48 set_state(my_id, name, sym, alloc_estate_rl(clone_rl(rl)));
60 set_state(my_id, cur->name, cur->sym, clone_estate(extra));
64 set_state(my_id, cur->name, cur->sym, alloc_estate_rl(clone_rl(rl)));
116 if (is_whole_rl(rl) && !get_state_expr(my_id, expr->left))
119 if (rl_to_sval(rl, &sval) && !get_state_expr(my_id, expr->left))
122 set_state_expr(my_id, expr->left, alloc_estate_rl(clone_rl(rl)));
127 return get_state_expr(my_id, expr);
132 return __get_state(my_id, nam
[all...]
H A Dcheck_bogus_irqrestore.c20 static int my_id; variable
38 my_id = id;
H A Dcheck_call_tree.c20 static int my_id; variable
40 my_id = id;
H A Dcheck_mod_timer.c21 static int my_id; variable
39 my_id = id;
H A Dcheck_select.c21 static int my_id; variable
35 my_id = id;
H A Dcheck_wait_for_common.c20 static int my_id; variable
35 my_id = id;
H A Dsmatch_function_info.c26 static int my_id; variable
42 my_id = id;
H A Dcheck_dma_mapping_error.c22 static int my_id; variable
30 set_state(my_id, sm->name, sm->sym, &ok);
41 set_state_expr(my_id, expr->left, &positive);
46 if (!get_state_expr(my_id, expr))
49 set_true_false_states_expr(my_id, expr, NULL, &ok);
58 sm = get_sm_state_expr(my_id, ret_value);
78 my_id = id;
83 add_modification_hook(my_id, &ok_to_use);
H A Dcheck_no_return.c21 static int my_id; variable
47 my_id = id;
H A Dcheck_deref_check.c21 static int my_id; variable
27 set_state(my_id, sm->name, sm->sym, &undefined);
46 set_state_expr(my_id, expr, &derefed);
60 set_state(my_id, name, sym, &derefed);
82 sm = get_sm_state_expr(my_id, expr);
87 set_state_expr(my_id, expr, &undefined);
92 my_id = id;
96 add_modification_hook(my_id, &underef);
H A Dcheck_platform_device_put.c22 static int my_id; variable
35 set_state_expr(my_id, arg_expr, &added);
44 set_state_expr(my_id, arg_expr, &not_added);
53 sm = get_sm_state_expr(my_id, arg_expr);
65 my_id = id;
H A Dcheck_wine_filehandles.c26 static int my_id; variable
50 set_state(my_id, sm->name, sm->sym, &oktocheck);
62 set_state_expr(my_id, expr->left, &filehandle);
72 if (get_state_expr(my_id, expr) == &filehandle) {
77 set_state_expr(my_id, expr, &oktocheck);
89 my_id = id;
95 add_modification_hook(my_id, ok_to_use);
H A Dcheck_snprintf.c22 static int my_id; variable
26 set_state(my_id, sm->name, sm->sym, &undefined);
39 set_state_expr(my_id, expr->left, alloc_state_num(buflen.value));
62 sm = get_sm_state_expr(my_id, arg);
81 my_id = id;
82 set_dynamic_states(my_id);
85 add_modification_hook(my_id, &ok_to_use);
H A Dsmatch_statement_count.c24 static int my_id; variable
43 state = get_state(my_id, "stmts", NULL);
55 set_state(my_id, "stmts", NULL, alloc_state_num(cnt));
75 set_state(my_id, "stmts", NULL, alloc_state_num(cnt + add));
80 my_id = id;
82 set_dynamic_states(my_id);
84 add_merge_hook(my_id, &merge_states);
H A Dcheck_frees_param.c28 static int my_id; variable
35 set_state(my_id, sm->name, sm->sym, &ignore);
46 sm = get_sm_state_expr(my_id, expr);
49 set_state_expr(my_id, expr, &freed);
76 FOR_EACH_MY_SM(my_id, __get_cur_stree(), sm) {
92 my_id = id;
102 add_modification_hook(my_id, &set_ignore);
H A Dcheck_check_deref.c38 static int my_id; variable
45 set_state(my_id, sm->name, sm->sym, &ok);
58 sm = get_sm_state_expr(my_id, expr);
61 if (is_ignored(my_id, sm->name, sm->sym))
74 add_ignore(my_id, sm->name, sm->sym);
85 sm = get_sm_state(my_id, name, sym);
88 if (is_ignored(my_id, sm->name, sm->sym))
101 add_ignore(my_id, sm->name, sm->sym);
156 if (get_state_expr(my_id, expr))
159 set_true_false_states_expr(my_id, exp
[all...]
H A Dcheck_array_condition.c28 static int my_id; variable
50 my_id = id;
H A Dcheck_freeing_null.c20 static int my_id; variable
40 my_id = id;
H A Dcheck_no_effect.c20 static int my_id; variable
55 my_id = id;
H A Dcheck_return_efault.c28 static int my_id; variable
36 set_state(my_id, sm->name, sm->sym, &ok);
43 set_state_expr(my_id, expr->left, &remaining);
48 if (!get_state_expr(my_id, expr))
51 set_true_false_states_expr(my_id, expr, NULL, &ok);
67 sm = get_sm_state_expr(my_id, ret_value);
122 my_id = id;
131 add_modification_hook(my_id, &ok_to_use);
/illumos-gate/usr/src/uts/common/rpcsvc/
H A Dsm_inter.x50 struct sm_stat SM_UNMON_ALL(struct my_id) = 4;
64 struct my_id {
74 struct my_id my_id;

Completed in 310 milliseconds

1234567