Symbol: linearize_fn_statement
usr/src/tools/smatch/src/linearize.c
2042
pseudo = linearize_fn_statement(ep, stmt);
usr/src/tools/smatch/src/linearize.c
2485
result = linearize_fn_statement(ep, stmt);