Symbol: __split_label_stmt
usr/src/tools/smatch/src/smatch.h
552
void __split_label_stmt(struct statement *stmt);
usr/src/tools/smatch/src/smatch_conditions.c
152
__split_label_stmt(last);
usr/src/tools/smatch/src/smatch_conditions.c
694
__split_label_stmt(tmp);
usr/src/tools/smatch/src/smatch_flow.c
1174
__split_label_stmt(stmt);