Searched refs:clone_estate (Results 1 – 6 of 6) sorted by relevance
41 set_state_expr(my_id, expr, clone_estate(state)); in set_real_absolute()65 set_state(my_id, cur->name, cur->sym, clone_estate(extra)); in pre_merge_hook()
155 state = clone_estate(orig_sm->state); in remove_from_equiv()254 new_sm->state = clone_estate(old_sm->state); in set_equiv()
330 struct smatch_state *clone_estate(struct smatch_state *state) in clone_estate() function
126 struct smatch_state *clone_estate(struct smatch_state *state);
565 clone_estate(true_state), in set_extra_chunk_true_false()566 clone_estate(false_state)); in set_extra_chunk_true_false()1127 state = clone_estate(right_state); in match_vanilla_assign()
1453 new = clone_estate(state); in returns_param_capped()