Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c1707 struct range_list *left_neg, *left_pos, *right_neg, *right_pos; in handle_divide_rl() local
1716 right_neg = get_neg_rl(right); in handle_divide_rl()
1719 neg_neg = divide_rl_helper(left_neg, right_neg); in handle_divide_rl()
1721 pos_neg = divide_rl_helper(left_pos, right_neg); in handle_divide_rl()