[splint.git] / test / csyntax14.c

typedef int atom;

typedef struct atomrep {
        atom atom;
        struct atomrep *link;
} atomrep;

int f()
{
/*@-varuse -noreturn*/
  atomrep * x = (atomrep *) 0;
}
Commit	Line	Data
885824d3	1	typedef int atom;
	2
	3	typedef struct atomrep {
	4	atom atom;
	5	struct atomrep *link;
	6	} atomrep;
	7
	8	int f()
	9	{
	10	/@-varuse -noreturn/
	11	atomrep * x = (atomrep *) 0;
	12	}