usr/src/tools/smatch/src/check_bogus_loop.c

83

if (implied_condition_false(stmt->iterator_pre_condition))

usr/src/tools/smatch/src/smatch.h

426

int implied_condition_false(struct expression *expr);

usr/src/tools/smatch/src/smatch_conditions.c

311

if (implied_condition_false(expr->cond_true)) {

usr/src/tools/smatch/src/smatch_conditions.c

323

if (implied_condition_false(expr->cond_false)) {

usr/src/tools/smatch/src/smatch_conditions.c

642

is_false = implied_condition_false(right->conditional);

usr/src/tools/smatch/src/smatch_math.c

149

if (implied_condition_false(expr->unop)) {

usr/src/tools/smatch/src/smatch_math.c

1873

if (implied_condition_false(expr->unop))

usr/src/tools/smatch/src/smatch_math.c

1909

return implied_condition_false(tmp);

usr/src/tools/smatch/src/smatch_math.c

879

if (implied_condition_false(expr->conditional))