Searched refs:implied_not_equal (Results 1 – 9 of 9) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_address.c | 34 if (implied_not_equal(expr, 0)) in is_non_null_array()
308 if (implied_not_equal(array, 0) || in get_address_rl()
309 implied_not_equal(offset_expr, 0)) { in get_address_rl()
334 if (implied_not_equal(unop, 0) || offset > 0) { in get_address_rl()
|
| H A D | check_check_deref.c | 63 if (implied_not_equal(expr, 0)) in check_dereference()
153 if (implied_not_equal(expr, 0)) in match_condition()
|
| H A D | check_deref_check.c | 40 if (implied_not_equal(expr, 0)) in match_dereference()
|
| H A D | check_unwind.c | 144 if (!implied_not_equal(ret_value, 0)) in match_return()
|
| H A D | check_deref.c | 77 if (implied_not_equal(expr, 0)) in check_dereference()
|
| H A D | smatch_extra.h | 182 int implied_not_equal(struct expression *expr, long long val);
|
| H A D | smatch_math.c | 1861 return implied_not_equal(expr->unop, 1); in implied_condition_true()
1863 return implied_not_equal(expr->unop, -1); in implied_condition_true()
1879 if (implied_not_equal(expr, 0) == 1) in implied_condition_true()
|
| H A D | smatch_comparison.c | 1550 if (implied_not_equal(r_right, 0)) in match_assign_sub()
|
| H A D | smatch_extra.c | 2263 int implied_not_equal(struct expression *expr, long long val) in implied_not_equal() function
|