Symbol: make_statement
usr/src/tools/smatch/src/parse.c
2365
stmt->iterator_pre_statement = make_statement(e1);
usr/src/tools/smatch/src/parse.c
2367
stmt->iterator_post_statement = make_statement(e3);