Symbol: update_stree_with_merged
usr/src/tools/smatch/src/smatch_states.c
1008
update_stree_with_merged(&stree);
usr/src/tools/smatch/src/smatch_states.c
1110
update_stree_with_merged(&stree);