Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c1708 struct range_list *neg_neg, *neg_pos, *pos_neg, *pos_pos; in handle_divide_rl() local
1720 neg_pos = divide_rl_helper(left_neg, right_pos); in handle_divide_rl()
1724 ret = rl_union(neg_neg, neg_pos); in handle_divide_rl()