Symbol: evaluate_conditional
usr/src/tools/smatch/src/evaluate.c
1161
if (!evaluate_conditional(expr->conditional, 0))
usr/src/tools/smatch/src/evaluate.c
3483
evaluate_conditional(stmt->if_conditional, 0);
usr/src/tools/smatch/src/evaluate.c
3491
evaluate_conditional(stmt->iterator_pre_condition, 1);
usr/src/tools/smatch/src/evaluate.c
3492
evaluate_conditional(stmt->iterator_post_condition,1);
usr/src/tools/smatch/src/evaluate.c
924
if (!evaluate_conditional(expr->left, 0))
usr/src/tools/smatch/src/evaluate.c
926
if (!evaluate_conditional(expr->right, 0))