Changed checking of complete descruction so +strictdestroy is no

[splint.git] / test / void.c

typedef void VOID;

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