Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_bogus_loop.c83 if (implied_condition_false(stmt->iterator_pre_condition)) in match_loop()
H A Dsmatch_conditions.c311 if (implied_condition_false(expr->cond_true)) { in handle_select()
323 if (implied_condition_false(expr->cond_false)) { in handle_select()
642 is_false = implied_condition_false(right->conditional); in __handle_select_assigns()
H A Dsmatch_math.c149 if (implied_condition_false(expr->unop)) { in handle_negate_rl()
879 if (implied_condition_false(expr->conditional)) in handle_conditional_rl()
1873 if (implied_condition_false(expr->unop)) in implied_condition_true()
1886 int implied_condition_false(struct expression *expr) in implied_condition_false() function
1909 return implied_condition_false(tmp); in implied_condition_false()
H A Dsmatch.h426 int implied_condition_false(struct expression *expr);