Committed my changes (but there are several splintme errors currently).

[splint.git] / test / void.c

typedef void VOID;

int f (VOID)
{
  f();
  return 3;
}