Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_db.c1615 overwrite_states_using_pool(sm, tmp); in split_possible_helper()
2009 overwrite_states_using_pool(sm, tmp); in split_on_bool_sm()
H A Dsmatch_implied.c1176 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm) in overwrite_states_using_pool() function
H A Dsmatch.h600 void overwrite_states_using_pool(struct sm_state *gate_sm, struct sm_state *pool_sm);