]> andersk Git - splint.git/blob - test/argorder2.lcl
noexpand always false.
[splint.git] / test / argorder2.lcl
1 int i;
2
3 int f (int x, int y) int i; { modifies i; }
4 int g (void) int i; { modifies i; }
5 int h (void) int i; { }
This page took 0.134393 seconds and 5 git commands to generate.