Fixed overly agressive assertions (from checking splint *.c in test/)

[splint.git] / test / oldstyle.lcl

int f1 (int x, int y);
int f2 (int x, char y);
int f3 (int x, char *y);