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


e4a41f697c4c8816e571bdca8ad5f9de4ec0cfaf
[splint.git] / test / db3 / check.lh
1 /* Output from LCLint 2.5q */
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.566638 seconds and 3 git commands to generate.