usr/src/tools/smatch/src/check_check_deref.c

153

if (implied_not_equal(expr, 0))

usr/src/tools/smatch/src/check_check_deref.c

63

if (implied_not_equal(expr, 0))

usr/src/tools/smatch/src/check_deref.c

77

if (implied_not_equal(expr, 0))

usr/src/tools/smatch/src/check_deref_check.c

40

if (implied_not_equal(expr, 0))

usr/src/tools/smatch/src/check_unwind.c

144

if (!implied_not_equal(ret_value, 0))

usr/src/tools/smatch/src/smatch_address.c

308

if (implied_not_equal(array, 0) ||

usr/src/tools/smatch/src/smatch_address.c

309

implied_not_equal(offset_expr, 0)) {

usr/src/tools/smatch/src/smatch_address.c

334

if (implied_not_equal(unop, 0) || offset > 0) {

usr/src/tools/smatch/src/smatch_address.c

34

if (implied_not_equal(expr, 0))

usr/src/tools/smatch/src/smatch_comparison.c

1550

if (implied_not_equal(r_right, 0))

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

182

int implied_not_equal(struct expression *expr, long long val);

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

1861

return implied_not_equal(expr->unop, 1);

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

1863

return implied_not_equal(expr->unop, -1);

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

1879

if (implied_not_equal(expr, 0) == 1)