Symbol: clone_partial_sm
usr/src/tools/smatch/src/smatch_comparison.c
2684
true_sm = clone_partial_sm(sm, true_comparison);
usr/src/tools/smatch/src/smatch_comparison.c
2685
false_sm = clone_partial_sm(sm, false_comparison);