Home
last modified time | relevance | path

Searched refs:min_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
1798 min_ll = rl_min(left_rl); in handle_sub_rl()
1799 min_ll.type = &llong_ctype; in handle_sub_rl()
1802 res_ll = min_ll; 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()