Symbol: vrfy_flow
usr/src/tools/smatch/src/flow.h
46
extern void vrfy_flow(struct entrypoint *ep);
usr/src/tools/smatch/src/optimize.c
99
vrfy_flow(ep);