Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c35 int comparison_id; variable
561 set_state(comparison_id, cur->name, NULL, in pre_merge_hook()
629 set_state(comparison_id, state_name, NULL, state); in save_start_states()
680 state = get_state(comparison_id, tmp, NULL); in match_inc()
706 set_state(comparison_id, tmp, NULL, new); in match_inc()
714 set_state(comparison_id, tmp, NULL, new); in match_inc()
721 set_state(comparison_id, tmp, NULL, new); in match_inc()
738 state = get_state(comparison_id, tmp, NULL); in match_dec()
757 set_state(comparison_id, tmp, NULL, new); in match_dec()
765 set_state(comparison_id, tmp, NULL, new); in match_dec()
[all …]
H A Dsmatch_implied.c954 separate_implication_states(implied_true, implied_false, comparison_id); in get_tf_states()
H A Dsmatch.h1098 extern int comparison_id;