Home
last modified time | relevance | path

Searched refs:alloc_state_num (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_statement_count.c36 return alloc_state_num(min); in merge_states()
55 set_state(my_id, "stmts", NULL, alloc_state_num(cnt)); in match_statement()
75 set_state(my_id, "stmts", NULL, alloc_state_num(cnt + add)); in select_return_info()
H A Dcheck_spectre_second_half.c40 set_state_stree(&first_halfs, my_id, buf, NULL, alloc_state_num(get_stmt_cnt())); in set_spectre_first_half()
48 set_state(my_id, sm->name, sm->sym, alloc_state_num(-MAX_SPEC_STMT)); in clear_spectre_second_halfs()
103 set_state_expr(my_id, expr, alloc_state_num(-MAX_SPEC_STMT)); in match_done()
H A Dcheck_snprintf.c39 set_state_expr(my_id, expr->left, alloc_state_num(buflen.value)); in match_snprintf()
H A Dcheck_testing_index_after_use.c65 set_state_expr(my_used_id, offset, alloc_state_num(array_size)); in array_check()
H A Dcheck_unused_ret.c122 set_state_expr(my_id, left, alloc_state_num(assign_id)); in match_assign_call()
H A Dsmatch_helper.c75 struct smatch_state *alloc_state_num(int num) in alloc_state_num() function
H A Dsmatch.h386 struct smatch_state *alloc_state_num(int num);