Home
last modified time | relevance | path

Searched refs:clone_estate_cast (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_equiv.c227 left_sm->state = clone_estate_cast(get_type(left), right_sm->state); in set_equiv()
236 other_sm->state = clone_estate_cast(get_type(left), left_sm->state); in set_equiv()
H A Dsmatch_estate.c424 struct smatch_state *clone_estate_cast(struct symbol *type, struct smatch_state *state) in clone_estate_cast() function
H A Dsmatch_extra.h127 struct smatch_state *clone_estate_cast(struct symbol *type, struct smatch_state *state);
H A Dsmatch_extra.c465 set_extra_nomod_helper(rel->name, rel->sym, expr, clone_estate_cast(estate_type(estate), state)); in set_extra_nomod()