[splint.git] / test / impabstract.c

typedef int mint;
typedef /*@concrete@*/ int cint;

int f (mint m, cint c)
{
  if (c > 3)
    {
      return c;
    }

  if (m < 2)
    {
      return m;
    }

  return 3;
}
Commit	Line	Data
885824d3	1	typedef int mint;
	2	typedef /@concrete@/ int cint;
	3
	4	int f (mint m, cint c)
	5	{
	6	if (c > 3)
	7	{
	8	return c;
	9	}
	10
	11	if (m < 2)
	12	{
	13	return m;
	14	}
	15
	16	return 3;
	17	}