Searched refs:comparison_id (Results 1 – 3 of 3) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_comparison.c | 35 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 D | smatch_implied.c | 954 separate_implication_states(implied_true, implied_false, comparison_id); in get_tf_states()
|
H A D | smatch.h | 1098 extern int comparison_id;
|