Home
last modified time | relevance | path

Searched refs:rl_filter (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_mtag.c156 rl = rl_filter(estate_rl(state), valid_ptr_rl); in get_mtag_return()
H A Dsmatch_extra.h91 struct range_list *rl_filter(struct range_list *rl, struct range_list *filter);
H A Dsmatch_ranges.c1405 rl = rl_filter(rl, filter); in filter_top_rl()
1523 struct range_list *rl_filter(struct range_list *rl, struct range_list *filter) in rl_filter() function
H A Dsmatch_db.c1800 nonnull_rl = rl_filter(rl, rl_zero()); in call_return_state_hooks_split_null_non_null_zero()
1895 nonzero_rl = rl_filter(rl, rl_zero()); in call_return_state_hooks_split_success_fail()
H A Dsmatch_implied.c132 *left_false_rl = rl_filter(left_orig, right_orig); in split_comparison_helper()
H A Dsmatch_extra.c2256 rl_after = rl_filter(rl_before, filter); in assume_indexes_are_valid()