Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c37 static int inc_dec_id; variable
1143 set_state(inc_dec_id, sm->name, sm->sym, &undefined); in iter_modify()
1145 set_state(inc_dec_id, sm->name, sm->sym, &incremented); in iter_modify()
1183 set_state(inc_dec_id, iter_name, iter_sym, &start); in handle_for_loops()
1195 if (get_state_chunk(inc_dec_id, expr->left) != &incremented) in handle_for_loops()
2634 inc_dec_id = id; in register_comparison_inc_dec()
2635 add_modification_hook_late(inc_dec_id, &iter_modify); in register_comparison_inc_dec()
2642 set_up_link_functions(inc_dec_id, inc_dec_link_id); in register_comparison_inc_dec_links()