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

int foo (char *b);

struct s {
  char *i;
};

static int redir(struct s *s)
{
  s->i = malloc(1 * sizeof(int));

  if (!(s->i))
    return 1;

  if (0) {
    free(s->i);
    return 1;
  }
  
  free (s->i);
  return 0;
}
Commit	Line	Data
80ee600a	1	int foo (char *b);
	2
	3	struct s {
	4	char *i;
	5	};
	6
	7	static int redir(struct s *s)
	8	{
	9	s->i = malloc(1 * sizeof(int));
	10
	11	if (!(s->i))
	12	return 1;
	13
	14	if (0) {
	15	free(s->i);
	16	return 1;
	17	}
	18
	19	free (s->i);
	20	return 0;
	21	}
	22