home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / prefixes.c < prev    next >
C/C++ Source or Header  |  2000-06-12  |  344b  |  25 lines

  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.  
  25.