Symbol: clone_stree_real
usr/src/tools/smatch/src/avl.c
142
*avl = clone_stree_real(*avl);
usr/src/tools/smatch/src/avl.c
161
*avl = clone_stree_real(*avl);
usr/src/tools/smatch/src/avl.c
514
*stree = clone_stree_real(*stree);