[splint.git] / test / tests2.5 / immutable.h

typedef /*@abstract@*/ /*@immutable@*/ struct __ {
  int x;
} *immutable;

extern immutable immutable_create (int) ;
extern void immutable_print (immutable) ;
Commit	Line	Data
80ee600a	1	typedef /@abstract@/ /@immutable@/ struct __ {
	2	int x;
	3	} *immutable;
	4
	5	extern immutable immutable_create (int) ;
	6	extern void immutable_print (immutable) ;