[splint.git] / test / release.c

/*@only@*/ /*@null@*/ int *f(void)
{
  int *x = NULL;
  int *z;

  if (3 > 4)
    {
      int *y1 = malloc (sizeof (int));
      int *y2 = malloc (sizeof (int));

      if (y1 != NULL)
	{
	  *y1 = 3;
	}

      if (y2 != NULL)
	{
	  *y2 = 3;
	}

      x = y1;
      z = y2;
    }

  return x;
}
Commit	Line	Data
885824d3	1	/@only@/ /@null@/ int *f(void)
	2	{
	3	int *x = NULL;
	4	int *z;
	5
	6	if (3 > 4)
	7	{
	8	int *y1 = malloc (sizeof (int));
	9	int *y2 = malloc (sizeof (int));
	10
	11	if (y1 != NULL)
	12	{
	13	*y1 = 3;
	14	}
	15
	16	if (y2 != NULL)
	17	{
	18	*y2 = 3;
	19	}
	20
	21	x = y1;
	22	z = y2;
	23	}
	24
	25	return x;
	26	}