home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / flags.c < prev    next >
Text File  |  2002-02-17  |  231b  |  19 lines
  1. int x = 'c';
  2.  
  3. /*@-linelen 25@*/
  4.  
  5. int y = 'c';
  6.  
  7. /*@+linelen 13@*/
  8. /*@+internalnamelen 2@*/
  9.  
  10. int xx1;
  11. int xx2;
  12.  
  13. /*@=linelen 25@*/
  14. /*@-linelen 70@*/
  15. /*@-dump asdf@*/
  16. /*@-macrovarprefix@*/
  17. /*@-macrovarprefix    @*/
  18. /*@-linelen asdf@*/
  19.