]> andersk Git - splint.git/blob - test/db3/check.lh
andersk / splint.git / blob
? search:


74f9521c58b4cf1144282ca142f0c58c487dccaa
[splint.git] / test / db3 / check.lh
1 /* Output from LCLint 3.0.0.17 */
2
3 # include "bool.h"
4 # include "bool.h"
5
6 extern /*@falseexit@*/ void check (bool  /* x */);
git-cvsimport mirror of splint
This page took 0.063631 seconds and 3 git commands to generate.