X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/fafc64cf2c3dd143d33b627f008ce8a36f224320..HEAD:/test/lintcomments.expect diff --git a/test/lintcomments.expect b/test/lintcomments.expect index 45bfb19..46dec81 100644 --- a/test/lintcomments.expect +++ b/test/lintcomments.expect @@ -1,18 +1,18 @@ lintcomments.c: (in function f) -lintcomments.c:7:51: Traditional lint comment /*FALLTHROUGH*/ used. This is - interpreted by LCLint 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. This is - interpreted by LCLint 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. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@fallthrough@*/ semantic comment +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. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@notreached@*/ semantic comment. +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