Fixed problem with loop guards in loop test effects. New test case

[splint.git] / test / rc.c

char *f (void)
{
  return MYSTERY;
}