?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
math: array parameters can be NULL
[smatch.git] / ssa.h
blob8537ac7b27d2e8eb0e285d26c16c4c0d1f4536f9
1 #ifndef SSA_H
2 #define SSA_H
3
4 struct entrypoint;
5
6 void ssa_convert(struct entrypoint *ep);
7
8 #endif
Static analysis for C