Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c305 if (implied_condition_true(expr->cond_true)) { in handle_select()
317 if (implied_condition_true(expr->cond_false)) { in handle_select()
641 is_true = implied_condition_true(right->conditional); in __handle_select_assigns()
H A Dcheck_double_checking.c192 if (is_pointer(expr) && implied_condition_true(expr)) in match_condition()
H A Dsmatch_math.c145 if (implied_condition_true(expr->unop)) { in handle_negate_rl()
877 if (implied_condition_true(expr->conditional)) in handle_conditional_rl()
1845 int implied_condition_true(struct expression *expr) in implied_condition_true() function
1858 return implied_condition_true(expr->unop); in implied_condition_true()
1903 if (implied_condition_true(expr->unop)) in implied_condition_false()
H A Dsmatch.h425 int implied_condition_true(struct expression *expr);
H A Dsmatch_flow.c626 once_through = implied_condition_true(stmt->iterator_pre_condition); in handle_pre_loop()