[splint.git] / test / innerfree.c

/* Contributed by Matthew Yeates. */

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	/* Contributed by Matthew Yeates. */
	2
	3	int foo (char *b);
	4
	5	struct s {
	6	char *i;
	7	};
	8
	9	static int redir(struct s *s)
	10	{
	11	s->i = malloc(1 * sizeof(int));
	12
	13	if (!(s->i))
	14	return 1;
	15
	16	if (0) {
	17	free(s->i);
	18	return 1;
	19	}
	20
	21	free (s->i);
	22	return 0;
	23	}
	24