[splint.git] / test / alias4.c

# include "alias4.lh"

mut f(mut a, mut b)
{
  mut c;

  if (1 == 3)
    {
      c = a;
    }
  else
    {
      c = b;
    }
  return c;  /* 2 * bad: may reference parameter a, b */
}

int g (void)
{
  return glob;
}

int *h (void)
{
  if (1 > 3)
    return &glob; /* returns ref to global glob */
  else if (2 > 3)
    return globp; /* return reference to global globp */
  else if (3 > 3)
    return (globs.field); /* returns reference to globs */
  else 
    return (&(globs.val)); /* returns reference to globs */
}
Commit	Line	Data
885824d3	1	# include "alias4.lh"
	2
	3	mut f(mut a, mut b)
	4	{
	5	mut c;
	6
	7	if (1 == 3)
	8	{
	9	c = a;
	10	}
	11	else
	12	{
	13	c = b;
	14	}
	15	return c; /* 2 * bad: may reference parameter a, b */
	16	}
	17
	18	int g (void)
	19	{
	20	return glob;
	21	}
	22
	23	int *h (void)
	24	{
	25	if (1 > 3)
	26	return &glob; /* returns ref to global glob */
	27	else if (2 > 3)
	28	return globp; /* return reference to global globp */
	29	else if (3 > 3)
	30	return (globs.field); /* returns reference to globs */
	31	else
	32	return (&(globs.val)); /* returns reference to globs */
	33	}
	34