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