Searched refs:zero_expr (Results 1 – 7 of 7) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_impossible.c | 67 handle_compare(expr, SPECIAL_NOTEQUAL, zero_expr()); in match_condition()
|
H A D | smatch_expressions.c | 41 struct expression *zero_expr(void) in zero_expr() function 56 return zero_expr(); in value_expr()
|
H A D | smatch_struct_assignment.c | 426 __struct_members_copy(COPY_MEMSET, expr, expr->left, zero_expr()); in __fake_struct_member_assignments() 559 __struct_members_copy(COPY_MEMSET, expr, remove_addr(arg), zero_expr()); in db_param_cleared()
|
H A D | smatch_extra.h | 210 struct expression *zero_expr();
|
H A D | smatch_flow.c | 1331 assign = assign_expression(edge_member, '=', zero_expr()); in set_inner_struct_members() 1370 assign = assign_expression(member, '=', zero_expr()); in set_unset_to_zero() 1550 assign = assign_expression(symbol, '=', zero_expr()); in fake_global_assign()
|
H A D | smatch_db.c | 1714 if (!assume(compare_expression(expr, separate_zero ? '>' : SPECIAL_GTE, zero_expr()))) in split_positive_from_negative() 1727 undo = assume(compare_expression(expr, SPECIAL_EQUAL, zero_expr())); in split_positive_from_negative() 1740 undo = assume(compare_expression(expr, '<', zero_expr())); in split_positive_from_negative()
|
H A D | smatch_extra.c | 2202 function_comparison(expr, SPECIAL_NOTEQUAL, zero_expr()); in __extra_match_condition() 2207 handle_comparison(get_type(expr), expr, SPECIAL_NOTEQUAL, zero_expr()); in __extra_match_condition()
|