Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_math.c810 int right_known = 0; in handle_logical_rl() local
816 right_known = 1; in handle_logical_rl()
821 right_known = 1; in handle_logical_rl()
828 if (right_known && right.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()