set_extra_expr_nomod
set_extra_expr_nomod(arg, end_state);
set_extra_expr_nomod(arg, alloc_estate_rl(rl));
set_extra_expr_nomod(arg, alloc_estate_rl(rl));
set_extra_expr_nomod(arg, end_state);
set_extra_expr_nomod(deref_expression(expr), alloc_estate_whole(type));
set_extra_expr_nomod(expr, alloc_estate_rl(rl));
set_extra_expr_nomod(expr, alloc_estate_rl(rl));
set_extra_expr_nomod(offset, alloc_estate_rl(rl_after));
set_extra_expr_nomod(arg->left, alloc_estate_rl(left_rl));
void set_extra_expr_nomod(struct expression *expr, struct smatch_state *state);
set_extra_expr_nomod(expr, alloc_estate_rl(rl));
set_extra_expr_nomod(expr, state);
set_extra_expr_nomod(arg, alloc_estate_rl(rl));