atomic_inc_dec: don't warn about impossible paths
[smatch.git] / liveness.h
blob882167cee8465f4fc2e62dbf97560934efa14237
1 #ifndef LIVENESS_H
2 #define LIVENESS_H
4 struct entrypoint;
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);
11 #endif