Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_math.c809 int left_known = 0; in handle_logical_rl() local
814 left_known = 1; in handle_logical_rl()
819 left_known = 1; in handle_logical_rl()
826 if (left_known && left.value) in handle_logical_rl()
830 if (left_known && right_known) in handle_logical_rl()
834 if (left_known && right_known) { in handle_logical_rl()