usr/src/tools/smatch/src/check_unreachable.c

219

known_condition_true(stmt->if_conditional) && __path_is_null()) {

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

423

int known_condition_true(struct expression *expr);

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

1114

if (known_condition_true(stmt->if_conditional)) {

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

510

if (known_condition_true(expr->conditional)) {

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

777

if (known_condition_true(expr->conditional)) {

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

133

if (known_condition_true(expr->unop)) {

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

1852

if (known_condition_true(expr))

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

869

if (known_condition_true(expr->conditional))

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

91

if (known_condition_true(expr->conditional))