usr/src/tools/smatch/src/check_snprintf.c

39

set_state_expr(my_id, expr->left, alloc_state_num(buflen.value));

usr/src/tools/smatch/src/check_spectre_second_half.c

103

set_state_expr(my_id, expr, alloc_state_num(-MAX_SPEC_STMT));

usr/src/tools/smatch/src/check_spectre_second_half.c

40

set_state_stree(&first_halfs, my_id, buf, NULL, alloc_state_num(get_stmt_cnt()));

usr/src/tools/smatch/src/check_spectre_second_half.c

48

set_state(my_id, sm->name, sm->sym, alloc_state_num(-MAX_SPEC_STMT));

usr/src/tools/smatch/src/check_testing_index_after_use.c

65

set_state_expr(my_used_id, offset, alloc_state_num(array_size));

usr/src/tools/smatch/src/check_unused_ret.c

122

set_state_expr(my_id, left, alloc_state_num(assign_id));

usr/src/tools/smatch/src/smatch.h

386

struct smatch_state *alloc_state_num(int num);

usr/src/tools/smatch/src/smatch_statement_count.c

36

return alloc_state_num(min);

usr/src/tools/smatch/src/smatch_statement_count.c

55

set_state(my_id, "stmts", NULL, alloc_state_num(cnt));

usr/src/tools/smatch/src/smatch_statement_count.c

75

set_state(my_id, "stmts", NULL, alloc_state_num(cnt + add));