]> andersk Git - splint.git/blob - test/init.out
Initial revision
[splint.git] / test / init.out
1
2 init.c:1:16: Global c[0] initialized to null value: c[0] = NULL
3 init.c:1:43: Initial value of c[2][2] is type int, expects char: 3
4 init.c:1:48: Global c[3] initialized to null value: c[3] = NULL
5 init.c:4:23: Global st.uname initialized to null value: st.uname = NULL
6 init.c:4:29: Initial value of st.y is type double, expects int: 1.2
7 init.c:7:7: Initializer block for st2[0] has 3 fields, but struct has 4 fields:
8                "bob", { 1, 2 }, NULL
9 init.c:8:19: Initial value of st2[1].x is type int, expects int []: 3
10 init.c:8:22: Global st2[1].uname initialized to null value: st2[1].uname = NULL
11 init.c:10:27: Initial value of a[4] is type double, expects int: 3.4
12 init.c:12:34: Initial value of aa[1][1] is type double, expects int: 3.2
13 init.c:14:15: Initializer block used for b[0] where int is expected: { 1, 2 }
14 init.c:14:25: Initializer block used for b[1] where int is expected: { 3, 4 }
15
16 Finished LCLint checking --- 12 code errors found, as expected
17
18 init.c:1:16: Global c[0] initialized to null value: c[0] = NULL
19 init.c:1:22: Read-only string literal storage used as initial value for
20                 unqualified storage: c[1] = "hullo"
21 init.c:1:43: Initial value of c[2][2] is type int, expects char: 3
22 init.c:1:48: Global c[3] initialized to null value: c[3] = NULL
23 init.c:4:7: Read-only string literal storage used as initial value for
24                unqualified storage: st.name = "bob"
25 init.c:4:23: Global st.uname initialized to null value: st.uname = NULL
26 init.c:4:29: Initial value of st.y is type double, expects int: 1.2
27 init.c:7:7: Initializer block for st2[0] has 3 fields, but struct has 4 fields:
28                "bob", { 1, 2 }, NULL
29 init.c:8:9: Read-only string literal storage used as initial value for
30                unqualified storage: st2[1].name = "charly"
31 init.c:8:19: Initial value of st2[1].x is type int, expects int []: 3
32 init.c:8:22: Global st2[1].uname initialized to null value: st2[1].uname = NULL
33 init.c:10:27: Initial value of a[4] is type double, expects int: 3.4
34 init.c:12:34: Initial value of aa[1][1] is type double, expects int: 3.2
35 init.c:14:15: Initializer block used for b[0] where int is expected: { 1, 2 }
36 init.c:14:25: Initializer block used for b[1] where int is expected: { 3, 4 }
37
38 Finished LCLint checking --- 15 code errors found, as expected
This page took 0.229694 seconds and 5 git commands to generate.