Symbol: set_replace
usr/src/tools/smatch/src/inline.c
489
set_replace(orig, sym);
usr/src/tools/smatch/src/inline.c
542
set_replace(name, a);