usr/src/tools/smatch/src/check_kernel.c

74

if (rl_equiv(estate_rl(estate), after))

usr/src/tools/smatch/src/smatch_extra.c

1349

if (rl_equiv(rl, estate_rl(state)))

usr/src/tools/smatch/src/smatch_extra.c

1711

if (rl_equiv(left_orig, estate_rl(left_true_state)))

usr/src/tools/smatch/src/smatch_extra.c

1713

if (rl_equiv(left_orig, estate_rl(left_false_state)))

usr/src/tools/smatch/src/smatch_extra.c

1715

if (rl_equiv(right_orig, estate_rl(right_true_state)))

usr/src/tools/smatch/src/smatch_extra.c

1717

if (rl_equiv(right_orig, estate_rl(right_false_state)))

usr/src/tools/smatch/src/smatch_extra.c

2154

if (rl_equiv(true_rl, orig_rl))

usr/src/tools/smatch/src/smatch_extra.c

2257

if (rl_equiv(rl_before, rl_after))

usr/src/tools/smatch/src/smatch_extra.c

2539

if (rl_equiv(orig, new))

usr/src/tools/smatch/src/smatch_extra.h

80

int rl_equiv(struct range_list *one, struct range_list *two);

usr/src/tools/smatch/src/smatch_implied.c

161

rl_equiv(orig_rl, true_rl) || rl_equiv(orig_rl, false_rl) ||

usr/src/tools/smatch/src/smatch_implied.c

162

rl_equiv(estate_rl(sm->state), true_rl) || rl_equiv(estate_rl(sm->state), false_rl))

usr/src/tools/smatch/src/smatch_implied.c

276

if (!rl_equiv(var_rl, intersect))

usr/src/tools/smatch/src/smatch_kernel_user_data.c

114

if (rl_equiv(rl, estate_rl(user)))

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1373

if (start_state && rl_equiv(estate_rl(sm->state), estate_rl(start_state)))

usr/src/tools/smatch/src/smatch_param_filter.c

88

if (rl_equiv(rl, estate_rl(cur->state)))

usr/src/tools/smatch/src/smatch_param_limit.c

157

if (old && rl_equiv(estate_rl(old), estate_rl(state)))