Various minor fixes for compiler/linter (other then splint itself) warnings.

[splint-patched.git] / test / argorder2.lcl

int i;

int f (int x, int y) int i; { modifies i; }
int g (void) int i; { modifies i; }
int h (void) int i; { }