]> andersk Git - splint.git/blob - test/ulstypes.out
e39bf1195e26a149dd0b4616aad27eeb0d7b57bc
[splint.git] / test / ulstypes.out
1
2 Cannot find standard library: ansi.lcd
3      Check LARCH_PATH environment variable.
4 ulstypes.c:3:23: Contradictory long and short type qualifiers
5 ulstypes.c: (in function f)
6 ulstypes.c:10:12: Function f expects arg 1 to be unsigned int gets long int: li
7 ulstypes.c:10:3: Assignment of long int to int: loc = f(li)
8 ulstypes.c:11:3: Assignment of long int to int: loc = f(ui)
9 ulstypes.c:12:12: Function f expects arg 1 to be unsigned int gets int: loc
10 ulstypes.c:12:3: Assignment of long int to int: loc = f(loc)
11 ulstypes.c:15:10: Return value type unsigned int does not match declared type
12                      long int: x
13 ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int:
14                      -15
15
16 Finished LCLint checking --- 8 code errors found, as expected
17
18 Cannot find standard library: ansi.lcd
19      Check LARCH_PATH environment variable.
20
21 Finished LCLint checking --- no code errors found
22
23 Cannot find standard library: ansi.lcd
24      Check LARCH_PATH environment variable.
25 ulstypes.c:3:23: Contradictory long and short type qualifiers
26 ulstypes.c: (in function f)
27 ulstypes.c:7:19: Variable loli initialized to type int, expects long int: 12
28 ulstypes.c:10:12: Undocumented use of global li
29 ulstypes.c:10:12: Function f expects arg 1 to be unsigned int gets long int: li
30 ulstypes.c:10:9: Undetected modification possible from call to unconstrained
31                     function f: f
32 ulstypes.c:10:3: Assignment of long int to int: loc = f(li)
33 ulstypes.c:11:12: Undocumented use of global ui
34 ulstypes.c:11:9: Undetected modification possible from call to unconstrained
35                     function f: f
36 ulstypes.c:11:3: Assignment of long int to int: loc = f(ui)
37 ulstypes.c:12:12: Function f expects arg 1 to be unsigned int gets int: loc
38 ulstypes.c:12:9: Undetected modification possible from call to unconstrained
39                     function f: f
40 ulstypes.c:12:3: Assignment of long int to int: loc = f(loc)
41 ulstypes.c:14:3: Assignment of int to long int: loli = loc
42 ulstypes.c:15:10: Return value type unsigned int does not match declared type
43                      long int: x
44 ulstypes.c:19:19: Variable x2 initialized to type int, expects unsigned int: 23
45 ulstypes.c:20:19: Variable x3 initialized to type int, expects unsigned int:
46                      -15
47 ulstypes.c:24:16: Variable x7 initialized to type int, expects short int: 14
48 ulstypes.c:3:21: Variable si declared but not used
49 ulstypes.c:18:14: Variable x1 declared but not used
50 ulstypes.c:19:14: Variable x2 declared but not used
51 ulstypes.c:20:14: Variable x3 declared but not used
52 ulstypes.c:21:14: Variable x4 declared but not used
53 ulstypes.c:22:10: Variable x5 declared but not used
54 ulstypes.c:23:10: Variable x6 declared but not used
55 ulstypes.c:24:11: Variable x7 declared but not used
56 ulstypes.c:1:14: Variable exported but not used outside ulstypes: ui
57 ulstypes.c:2:10: Variable exported but not used outside ulstypes: li
58 ulstypes.c:5:10: Function exported but not used outside ulstypes: f
59    ulstypes.c:16:1: Definition of f
60
61 Finished LCLint checking --- 28 code errors found, as expected
This page took 0.031166 seconds and 3 git commands to generate.