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