Changed checking of complete descruction so +strictdestroy is no

[splint.git] / test / rc.c

char *f (void)
{
  return MYSTERY;
}