Symbol: add_label
usr/src/tools/smatch/src/linearize.c
2018
bb = add_label(ep, stmt->ret);
usr/src/tools/smatch/src/linearize.c
2347
add_label(ep, stmt->case_label);
usr/src/tools/smatch/src/linearize.c
2356
add_label(ep, label);