Symbol: top_rl
usr/src/tools/smatch/src/smatch_extra.h
98
struct range_list *top_rl(struct range_list_stack *rl_stack);
usr/src/tools/smatch/src/smatch_implied.c
1107
rl = clone_rl(top_rl(*remaining_cases));
usr/src/tools/smatch/src/smatch_states.c
1148
return !!top_rl(remaining_cases);