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