test/prefixes.c

   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() \
  21   do { int m_x; { int y; }} while (false)
  22
  23
  24