Symbol: handle_AND_op
usr/src/tools/smatch/src/smatch_extra.c
2128
handle_AND_op(expr->right, known);
usr/src/tools/smatch/src/smatch_extra.c
2130
handle_AND_op(expr->left, known);