]> andersk Git - splint.git/blob - test/argorder4.lcl
andersk / splint.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Fixed /*@i@*/ warning in splintme
[splint.git] / test / argorder4.lcl
1 int glob;
2
3 int f (void) int glob; { }
4
5 int g (void) int glob; { modifies glob; }
6
7 int h (void) int glob; { modifies glob; }
8
git-cvsimport mirror of splint
This page took 3.140909 seconds and 5 git commands to generate.