?  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 / alias2.lcl
blob74057f7f2c7fed732c8816f41d3e9bf39a2254a2
1 int glob;
2 int *globp;
3
4 int f (int *a, int b, int **c) int glob; int *globp; { }
5
Patched version for SPLint (Secure Programming Lint)