Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c1778 sval_t min_ll, max_ll, res_ll; in handle_sub_rl() local
1800 max_ll = rl_max(right_rl); in handle_sub_rl()
1801 max_ll.type = &llong_ctype; in handle_sub_rl()
1803 res_ll.value = min_ll.value - max_ll.value; in handle_sub_rl()
1810 !sval_binop_overflows(min_ll, '-', max_ll) && in handle_sub_rl()