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()
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()
757 set_state(comparison_id, tmp, NULL, new); in match_dec()
765 set_state(comparison_id, tmp, NULL, new); in match_dec()
780 old = get_state(comparison_id, tmp, NULL); in reset_sm()
791 set_state(comparison_id, tmp, NULL, new); in reset_sm()
2601 comparison_id = id; in register_comparison()
[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;
|