X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..59a4360f02565d806d4bbd486cfdb5984b726db4:/test/flags.expect diff --git a/test/flags.expect b/test/flags.expect index a38bd24..b93e9c0 100644 --- a/test/flags.expect +++ b/test/flags.expect @@ -4,10 +4,9 @@ flags.c:5:9: Variable y initialized to type char, expects int: 'c' -flags.c:7:18: Warning: - Value for linelen - must be at least 20 - (given 13) +flags.c:7:18: Value for + linelen must be at + least 20 (given 13) flags.c:11:5: Internal identifier xx2 is not @@ -18,25 +17,25 @@ flags.c:11:5: flags.c:10:5: Declaration of xx1 -flags.c:13:18: - Stylized comment +flags.c:13:4: + 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 - global flag cannot be set locally. -flags.c:16:22: Flag macrovarprefix (in stylized comment) must be +flags.c:15:4: Semantic comment attempts to set global flag dump. A + global flag cannot be set locally. +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