Home
last modified time | relevance | path

Searched refs:clone_partial_estate (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c343 struct smatch_state *clone_partial_estate(struct smatch_state *state, struct range_list *rl) in clone_partial_estate() function
H A Dsmatch_extra.h128 struct smatch_state *clone_partial_estate(struct smatch_state *state, struct range_list *rl);
H A Dsmatch_implied.c184 true_sm->state = clone_partial_estate(sm->state, true_rl); in create_fake_history()
187 false_sm->state = clone_partial_estate(sm->state, false_rl); in create_fake_history()