test/lintcomments.expect

   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