Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_extra.c2230 struct range_list *rl_before; in assume_indexes_are_valid() local
2255 get_absolute_rl(offset, &rl_before); in assume_indexes_are_valid()
2256 rl_after = rl_filter(rl_before, filter); in assume_indexes_are_valid()
2257 if (rl_equiv(rl_before, rl_after)) in assume_indexes_are_valid()