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