Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_implied.c161 rl_equiv(orig_rl, true_rl) || rl_equiv(orig_rl, false_rl) || in create_fake_history()
162 rl_equiv(estate_rl(sm->state), true_rl) || rl_equiv(estate_rl(sm->state), false_rl)) in create_fake_history()
276 if (!rl_equiv(var_rl, intersect)) in possibly_false_helper()
H A Dsmatch_param_limit.c157 if (old && rl_equiv(estate_rl(old), estate_rl(state))) in print_return_value_param()
H A Dsmatch_param_filter.c88 if (rl_equiv(rl, estate_rl(cur->state))) in pre_merge_hook()
H A Dsmatch_extra.c1349 if (rl_equiv(rl, estate_rl(state))) in check_dereference()
1711 if (rl_equiv(left_orig, estate_rl(left_true_state))) in handle_comparison()
1713 if (rl_equiv(left_orig, estate_rl(left_false_state))) in handle_comparison()
1715 if (rl_equiv(right_orig, estate_rl(right_true_state))) in handle_comparison()
1717 if (rl_equiv(right_orig, estate_rl(right_false_state))) in handle_comparison()
2154 if (rl_equiv(true_rl, orig_rl)) in handle_MOD_condition()
2257 if (rl_equiv(rl_before, rl_after)) in assume_indexes_are_valid()
2539 if (rl_equiv(orig, new)) in basically_the_same()
H A Dsmatch_extra.h80 int rl_equiv(struct range_list *one, struct range_list *two);
H A Dcheck_kernel.c74 if (rl_equiv(estate_rl(estate), after)) in hack_ERR_PTR()
H A Dsmatch_kernel_user_data.c114 if (rl_equiv(rl, estate_rl(user))) in extra_nomod_hook()
1373 if (start_state && rl_equiv(estate_rl(sm->state), estate_rl(start_state))) in param_set_to_user_data()
H A Dsmatch_ranges.c1104 int rl_equiv(struct range_list *one, struct range_list *two) in rl_equiv() function