Apparently splint does not correctly handle the case in which a #defined constant...

[splint.git] / test / void.c

typedef void VOID;

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