[splint.git] / test / csyntax13.c

/*@-varuse*/
typedef int isr_t;
typedef int isrs;

int f()
{
  isr_t isrs;
  {
    isr_t isrs[3];
  }
  return 3;
}
Commit	Line	Data
885824d3	1	/@-varuse/
	2	typedef int isr_t;
	3	typedef int isrs;
	4
	5	int f()
	6	{
	7	isr_t isrs;
	8	{
	9	isr_t isrs[3];
	10	}
	11	return 3;
	12	}