?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
capped: addresses can't be capped
[smatch.git] / optimize.h
blob31e2cf0817043f321d1df8a37efcc533c381b2f6
1 #ifndef OPTIMIZE_H
2 #define OPTIMIZE_H
3
4 struct entrypoint;
5
6 /* optimize.c */
7 void optimize(struct entrypoint *ep);
8
9 #endif
Static analysis for C