[splint.git] / test / inparam.c

extern unknown (int *x);
extern inparam (/*@in@*/ int *x);

void f (/*@out@*/ int *x)
{
  if (3 > 4)
    {
      unknown (x);
    }
  else
    {
      inparam (x);
    }
}
Commit	Line	Data
885824d3	1	extern unknown (int *x);
	2	extern inparam (/@in@/ int *x);
	3
	4	void f (/@out@/ int *x)
	5	{
	6	if (3 > 4)
	7	{
	8	unknown (x);
	9	}
	10	else
	11	{
	12	inparam (x);
	13	}
	14	}