X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ccf0a4a84a5a030c02e90d914b3f152b29826737..29d38a815f1048eebce77a1273675999c7e4dd5b:/test/rc.out?ds=sidebyside diff --git a/test/rc.out b/test/rc.out index feac499..3bd57c8 100644 --- a/test/rc.out +++ b/test/rc.out @@ -4,32 +4,32 @@ rc.c:3:10: Observer storage returned without qualification: "a flag\"wicked cool" rc.c:3:10: Storage becomes observer -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected rc.c: (in function f) rc.c:3:10: Return value type int does not match declared type char *: 12 -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected -rc2.lclintrc:1:18: Warning: setting +boolint redundant with current value +rc2.splintrc:1:18: Warning: setting +boolint redundant with current value rc.c: (in function f) rc.c:3:10: Observer storage returned without qualification: "a silly\"flag\"\\" rc.c:3:10: Storage becomes observer -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected -rc2.lclintrc:1:18: Warning: setting +boolint redundant with current value +rc2.splintrc:1:18: Warning: setting +boolint redundant with current value rc.c: (in function f) rc.c:3:10: Unrecognized identifier: MYSTERY -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected -rc3.lclintrc:2:1: Bad flag syntax (+ or - expected, + is assumed): +rc3.splintrc:2:1: Bad flag syntax (+ or - expected, + is assumed): internalnamelen 73 - A flag is not recognized or used in an incorrect way (-badflag will suppress - message) -rc3.lclintrc:5:24: Flag dump must be followed by an argument + A flag is not recognized or used in an incorrect way (Use -badflag to inhibit + warning) +rc3.splintrc:5:24: Flag dump must be followed by an argument rc.c: (in function f) rc.c:3:10: Unrecognized identifier: MYSTERY -Finished LCLint checking --- 1 code error found, as expected +Finished checking --- 1 code warning, as expected