]> andersk Git - splint.git/blame - test/flags.expect
noexpand always false.
[splint.git] / test / flags.expect
CommitLineData
885824d3 1
2flags.c:1:9: Variable x initialized to type char, expects int: 'c'
3flags.c:5:9: Variable y
4 initialized to type
5 char, expects int:
6 'c'
140c27a8 7flags.c:7:18: Value for
8 linelen must be at
9 least 20 (given 13)
885824d3 10flags.c:11:5:
11 Internal identifier
12 xx2 is not
13 distinguishable
14 from xx1 in the
15 first 2 characters
16 (xx)
17 flags.c:10:5:
18 Declaration of
19 xx1
abd7f895 20flags.c:13:4:
80ee600a 21 Semantic comment
885824d3 22 attempts to restore
23 flag linelen. A
24 flag for setting a
25 value cannot be
26 restored.
abd7f895 27flags.c:15:4: Semantic comment attempts to set global flag dump. A
28 global flag cannot be set locally.
80ee600a 29flags.c:16:22: Flag macrovarprefix (in semantic comment) must be
885824d3 30 followed by an argument
80ee600a 31flags.c:17:26: Flag macrovarprefix (in semantic comment) must be
885824d3 32 followed by an argument
33flags.c:18:20: Flag linelen must be followed by a positive number
34 number. Followed by asdf
35
11db3170 36Finished checking --- 8 code warnings, as expected
885824d3 37
38flags.c:1:9: Variable x initialized to type char, expects int: 'c'
39flags.c:5:9: Variable y initialized to type char, expects int: 'c'
40
11db3170 41Finished checking --- 2 code warnings, as expected
This page took 0.231912 seconds and 5 git commands to generate.