[splint.git] / test / prefixes.c

typedef int Tin_ty;
typedef int QINT;
typedef int tint;

/*@-varuse@*/
static int FSint;
static int TYint;
static int V3int;
static int sint;
static int Xqmxt;
static int XqmXt;
/*@=varuse@*/

extern int Gint;
extern int aGb_Xint;

/*@external@*/ int f (void);
extern int g (void);

# define mf() \
  do { int m_x; { int y; }} while (false)
Commit	Line	Data
885824d3	1	typedef int Tin_ty;
	2	typedef int QINT;
	3	typedef int tint;
	4
	5	/@-varuse@/
	6	static int FSint;
	7	static int TYint;
	8	static int V3int;
	9	static int sint;
	10	static int Xqmxt;
	11	static int XqmXt;
	12	/@=varuse@/
	13
	14	extern int Gint;
	15	extern int aGb_Xint;
	16
	17	/@external@/ int f (void);
	18	extern int g (void);
	19
	20	# define mf() \
0bd4c301	21	do { int m_x; { int y; }} while (false)
885824d3	22
	23
	24