Home
last modified time | relevance | path

Searched refs:zero_expr (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_impossible.c67 handle_compare(expr, SPECIAL_NOTEQUAL, zero_expr()); in match_condition()
H A Dsmatch_expressions.c41 struct expression *zero_expr(void) in zero_expr() function
56 return zero_expr(); in value_expr()
H A Dsmatch_struct_assignment.c426 __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 Dsmatch_extra.h210 struct expression *zero_expr();
H A Dsmatch_flow.c1331 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 Dsmatch_db.c1714 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 Dsmatch_extra.c2202 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()