Symbol: get_stmt_cnt
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
96
if (get_stmt_cnt() - (long)state->data > MAX_SPEC_STMT)
usr/src/tools/smatch/src/smatch.h
1306
long get_stmt_cnt(void);
usr/src/tools/smatch/src/smatch_statement_count.c
53
cnt = get_stmt_cnt();
usr/src/tools/smatch/src/smatch_statement_count.c
63
cnt = get_stmt_cnt();
usr/src/tools/smatch/src/smatch_statement_count.c
72
cnt = get_stmt_cnt();