home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / lintcomments.expect < prev    next >
Text File  |  2002-02-13  |  1KB  |  31 lines
  1.  
  2. lintcomments.c: (in function f)
  3. lintcomments.c:7:51: Traditional lint comment /*FALLTHROUGH*/ used. Splint
  4.     interprets this in the same way as most Unix lints, but it is preferable to
  5.     replace it with the /*@fallthrough@*/ semantic comment
  6. lintcomments.c:8:33: Traditional lint comment /*FALLTHROUGH*/ used. Splint
  7.     interprets this in the same way as most Unix lints, but it is preferable to
  8.     replace it with the /*@fallthrough@*/ semantic comment
  9. lintcomments.c:9:30: Traditional lint comment /*FALLTHRU*/ used. Splint
  10.     interprets this in the same way as most Unix lints, but it is preferable to
  11.     replace it with the /*@fallthrough@*/ semantic comment
  12. lintcomments.c:11:13: Fall through case (no preceding break)
  13. lintcomments.c:23:21: Traditional lint comment /*NOTREACHED*/ used. Splint
  14.     interprets this in the same way as most Unix lints, but it is preferable to
  15.     replace it with the /*@notreached@*/ semantic comment.
  16.  
  17. Finished checking --- 5 code warnings, as expected
  18.  
  19. lintcomments.c: (in function f)
  20. lintcomments.c:11:13: Fall through case (no preceding break)
  21.  
  22. Finished checking --- 1 code warning, as expected
  23.  
  24. lintcomments.c: (in function f)
  25. lintcomments.c:9:10: Fall through case (no preceding break)
  26. lintcomments.c:10:10: Fall through case (no preceding break)
  27. lintcomments.c:11:13: Fall through case (no preceding break)
  28. lintcomments.c:24:8: Unreachable code: i++
  29.  
  30. Finished checking --- 4 code warnings, as expected
  31.