Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / test / void.c

typedef void VOID;

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