[splint.git] / test / temp / onlyret.c

int f (void)
{
  char *s;

  s = malloc (sizeof (char));

  if (s == NULL)
    {
      return 0;
    }


  return 1;
}
Commit	Line	Data
80ee600a	1	int f (void)
	2	{
	3	char *s;
	4
	5	s = malloc (sizeof (char));
	6
	7	if (s == NULL)
	8	{
	9	return 0;
	10	}
	11
	12
	13	return 1;
	14	}
	15