[splint.git] / test / clauses2.c

extern /*@only@*/ int *new_ip (void);

/*@only@*/ int *f(void)
{
  int *x = new_ip ();
  int *y;

  if (3 > 4)
    {
      y = x;
    }
  else
    {
      free (x);
      y = new_ip ();
    }

  return y;
}
Commit	Line	Data
885824d3	1	extern /@only@/ int *new_ip (void);
	2
	3	/@only@/ int *f(void)
	4	{
	5	int *x = new_ip ();
	6	int *y;
	7
	8	if (3 > 4)
	9	{
	10	y = x;
	11	}
	12	else
	13	{
	14	free (x);
	15	y = new_ip ();
	16	}
	17
	18	return y;
	19	}