usr/src/tools/smatch/src/check_double_checking.c

192

if (is_pointer(expr) && implied_condition_true(expr))

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

425

int implied_condition_true(struct expression *expr);

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

305

if (implied_condition_true(expr->cond_true)) {

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

317

if (implied_condition_true(expr->cond_false)) {

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

641

is_true = implied_condition_true(right->conditional);

usr/src/tools/smatch/src/smatch_flow.c

626

once_through = implied_condition_true(stmt->iterator_pre_condition);

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

145

if (implied_condition_true(expr->unop)) {

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

1858

return implied_condition_true(expr->unop);

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

1903

if (implied_condition_true(expr->unop))

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

877

if (implied_condition_true(expr->conditional))