Symbol: MAX_SPEC_STMT
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
48
set_state(my_id, sm->name, sm->sym, alloc_state_num(-MAX_SPEC_STMT));
usr/src/tools/smatch/src/check_spectre_second_half.c
96
if (get_stmt_cnt() - (long)state->data > MAX_SPEC_STMT)