X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..5e211f69ddc6240f0db9af54a57134d237401d37:/test/flags.expect diff --git a/test/flags.expect b/test/flags.expect index a38bd24..7ff81b9 100644 --- a/test/flags.expect +++ b/test/flags.expect @@ -19,24 +19,24 @@ flags.c:11:5: Declaration of xx1 flags.c:13:18: - Stylized comment + Semantic comment attempts to restore flag linelen. A flag for setting a value cannot be restored. -flags.c:15:17: Stylized comment attempts to set global flag dump. A +flags.c:15:17: Semantic comment attempts to set global flag dump. A global flag cannot be set locally. -flags.c:16:22: Flag macrovarprefix (in stylized comment) must be +flags.c:16:22: Flag macrovarprefix (in semantic comment) must be followed by an argument -flags.c:17:26: Flag macrovarprefix (in stylized comment) must be +flags.c:17:26: Flag macrovarprefix (in semantic comment) must be followed by an argument flags.c:18:20: Flag linelen must be followed by a positive number number. Followed by asdf -Finished LCLint checking --- 8 code errors found, as expected +Finished checking --- 8 code warnings, as expected flags.c:1:9: Variable x initialized to type char, expects int: 'c' flags.c:5:9: Variable y initialized to type char, expects int: 'c' -Finished LCLint checking --- 2 code errors found, as expected +Finished checking --- 2 code warnings, as expected