[splint.git] / test / impabstract.c

typedef int mint;  /* Concrete in impabstract.lcl */
typedef /*@concrete@*/ int cint; /* Abstract in impabstract.lcl */

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

  if (m < 2)
    {
      return m;
    }

  return 3;
}
Commit	Line	Data
80ee600a	1	typedef int mint; /* Concrete in impabstract.lcl */
80ee600a	2	typedef /@concrete@/ int cint; /* Abstract in impabstract.lcl */
885824d3	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	}