Symbol: copy_symbol_list
usr/src/tools/smatch/src/inline.c
411
switch_case->symbol_list = copy_symbol_list(switch_case->symbol_list);
usr/src/tools/smatch/src/inline.c
422
stmt->iterator_syms = copy_symbol_list(stmt->iterator_syms);
usr/src/tools/smatch/src/inline.c
443
stmt->target_list = copy_symbol_list(stmt->target_list);