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

424

int known_condition_false(struct expression *expr);

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

1118

if (known_condition_false(stmt->if_conditional)) {

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

514

if (known_condition_false(expr->conditional)) {

usr/src/tools/smatch/src/smatch_helper.c

787

if (known_condition_false(expr->conditional)) {

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

137

if (known_condition_false(expr->unop)) {

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

1894

if (known_condition_false(expr))

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

871

if (known_condition_false(expr->conditional))

usr/src/tools/smatch/src/smatch_strings.c

93

if (known_condition_false(expr->conditional))