xref: /illumos-gate/usr/src/tools/smatch/src/liveness.h (revision c85f09cc92abd00c84e58ec9f0f5d942906cb713)
1 #ifndef LIVENESS_H
2 #define LIVENESS_H
3 
4 struct entrypoint;
5 
6 /* liveness.c */
7 void clear_liveness(struct entrypoint *ep);
8 void track_pseudo_liveness(struct entrypoint *ep);
9 void track_pseudo_death(struct entrypoint *ep);
10 
11 #endif
12