usr/src/tools/smatch/src/check_kernel.c

167

set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval));

usr/src/tools/smatch/src/check_kernel.c

202

set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval));

usr/src/tools/smatch/src/smatch_conditions.c

577

set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 1)));

usr/src/tools/smatch/src/smatch_conditions.c

593

set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 0)));

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

1304

set_extra_expr_mod(expr->unop, state);

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

1312

set_extra_expr_mod(expr->unop, state);

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

1332

set_extra_expr_mod(expr->expr, alloc_estate_whole(type));

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

2735

set_extra_expr_mod(arg->unop, alloc_estate_whole(get_type(arg->unop)));

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

686

set_extra_expr_mod(iter_var, estate);

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

693

set_extra_expr_mod(iter_var, estate);

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

748

set_extra_expr_mod(iter_var, estate);

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

788

set_extra_expr_mod(iter_var, estate);

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

996

set_extra_expr_mod(tmp->unop, alloc_estate_whole(get_type(tmp->unop)));

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

172

void set_extra_expr_mod(struct expression *expr, struct smatch_state *state);

usr/src/tools/smatch/src/smatch_function_hooks.c

1014

set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left)));

usr/src/tools/smatch/src/smatch_function_hooks.c

1034

set_extra_expr_mod(expr->left, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_function_hooks.c

1057

set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left)));

usr/src/tools/smatch/src/smatch_function_hooks.c

1093

set_extra_expr_mod(expr->left, alloc_estate_rl(rl));

usr/src/tools/smatch/src/smatch_function_hooks.c

489

set_extra_expr_mod(expr, state);

usr/src/tools/smatch/src/smatch_function_hooks.c

505

set_extra_expr_mod(expr, state);