?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Some consistency changes to library & headers flags.
[splint-patched.git] / test / metastate / global.h
blob4d19524db1d056d632f06b71a8fcf09ad780168e
1 /*@only@*/ /*@open@*/ FILE *g_msgstream;
Patched version for SPLint (Secure Programming Lint)