Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_spectre_second_half.c23 #define MAX_SPEC_STMT 200 macro
48 set_state(my_id, sm->name, sm->sym, alloc_state_num(-MAX_SPEC_STMT)); in clear_spectre_second_halfs()
96 if (get_stmt_cnt() - (long)state->data > MAX_SPEC_STMT) in match_done()
103 set_state_expr(my_id, expr, alloc_state_num(-MAX_SPEC_STMT)); in match_done()