Symbol: __push_continues
usr/src/tools/smatch/src/smatch.h
768
void __push_continues(void);
usr/src/tools/smatch/src/smatch_flow.c
629
__push_continues();
usr/src/tools/smatch/src/smatch_flow.c
702
__push_continues();