]> andersk Git - splint.git/blob - test/flags.expect
Remove unused cpplib_createDefinition.
[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: Value for
8     linelen must be at
9     least 20 (given 13)
10 flags.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
20 flags.c:13:4:
21     Semantic comment
22     attempts to restore
23     flag linelen.  A
24     flag for setting a
25     value cannot be
26     restored.
27 flags.c:15:4: Semantic comment attempts to set global flag dump.  A
28                  global flag cannot be set locally.
29 flags.c:16:22: Flag macrovarprefix (in semantic comment) must be
30                   followed by an argument
31 flags.c:17:26: Flag macrovarprefix (in semantic comment) must be
32                   followed by an argument
33 flags.c:18:20: Flag linelen must be followed by a positive number
34                   number.  Followed by asdf
35
36 Finished checking --- 8 code warnings, as expected
37
38 flags.c:1:9: Variable x initialized to type char, expects int: 'c'
39 flags.c:5:9: Variable y initialized to type char, expects int: 'c'
40
41 Finished checking --- 2 code warnings, as expected
This page took 0.419778 seconds and 5 git commands to generate.