Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_strings.c91 if (known_condition_true(expr->conditional)) in get_strings()
H A Dcheck_unreachable.c219 known_condition_true(stmt->if_conditional) && __path_is_null()) { in turn_off_unreachable()
H A Dsmatch_math.c133 if (known_condition_true(expr->unop)) { in handle_negate_rl()
869 if (known_condition_true(expr->conditional)) in handle_conditional_rl()
1807 int known_condition_true(struct expression *expr) in known_condition_true() function
1852 if (known_condition_true(expr)) in implied_condition_true()
H A Dsmatch_flow.c510 if (known_condition_true(expr->conditional)) { in __split_expr()
1114 if (known_condition_true(stmt->if_conditional)) { in __split_stmt()
H A Dsmatch_helper.c777 if (known_condition_true(expr->conditional)) { in strip_expr_helper()
H A Dsmatch.h423 int known_condition_true(struct expression *expr);