[splint.git] / test / lintcomments.out


lintcomments.c: (in function f)
lintcomments.c:7:51: Traditional lint comment /*FALLTHROUGH*/ used. Splint
    interprets this in the same way as most Unix lints, but it is preferable to
    replace it with the /*@fallthrough@*/ semantic comment
lintcomments.c:8:33: Traditional lint comment /*FALLTHROUGH*/ used. Splint
    interprets this in the same way as most Unix lints, but it is preferable to
    replace it with the /*@fallthrough@*/ semantic comment
lintcomments.c:9:30: Traditional lint comment /*FALLTHRU*/ used. Splint
    interprets this in the same way as most Unix lints, but it is preferable to
    replace it with the /*@fallthrough@*/ semantic comment
lintcomments.c:11:13: Fall through case (no preceding break)
lintcomments.c:23:21: Traditional lint comment /*NOTREACHED*/ used. Splint
    interprets this in the same way as most Unix lints, but it is preferable to
    replace it with the /*@notreached@*/ semantic comment.

Finished checking --- 5 code warnings, as expected

lintcomments.c: (in function f)
lintcomments.c:11:13: Fall through case (no preceding break)

Finished checking --- 1 code warning, as expected

lintcomments.c: (in function f)
lintcomments.c:9:10: Fall through case (no preceding break)
lintcomments.c:10:10: Fall through case (no preceding break)
lintcomments.c:11:13: Fall through case (no preceding break)
lintcomments.c:24:8: Unreachable code: i++

Finished checking --- 4 code warnings, as expected
Commit	Line	Data
86d93ed3	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