usr/src/tools/smatch/src/smatch_db.c

1714

if (!assume(compare_expression(expr, separate_zero ? '>' : SPECIAL_GTE, zero_expr())))

usr/src/tools/smatch/src/smatch_db.c

1727

undo = assume(compare_expression(expr, SPECIAL_EQUAL, zero_expr()));

usr/src/tools/smatch/src/smatch_db.c

1740

undo = assume(compare_expression(expr, '<', zero_expr()));

usr/src/tools/smatch/src/smatch_expressions.c

56

return zero_expr();

usr/src/tools/smatch/src/smatch_extra.c

2202

function_comparison(expr, SPECIAL_NOTEQUAL, zero_expr());

usr/src/tools/smatch/src/smatch_extra.c

2207

handle_comparison(get_type(expr), expr, SPECIAL_NOTEQUAL, zero_expr());

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

210

struct expression *zero_expr();

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

1331

assign = assign_expression(edge_member, '=', zero_expr());

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

1370

assign = assign_expression(member, '=', zero_expr());

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

1550

assign = assign_expression(symbol, '=', zero_expr());

usr/src/tools/smatch/src/smatch_impossible.c

67

handle_compare(expr, SPECIAL_NOTEQUAL, zero_expr());

usr/src/tools/smatch/src/smatch_struct_assignment.c

426

__struct_members_copy(COPY_MEMSET, expr, expr->left, zero_expr());

usr/src/tools/smatch/src/smatch_struct_assignment.c

559

__struct_members_copy(COPY_MEMSET, expr, remove_addr(arg), zero_expr());