File: init.expect

package info (click to toggle)
splint 3.1.2.dfsg1-4
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 14,732 kB
  • ctags: 16,317
  • sloc: ansic: 150,320; yacc: 3,463; sh: 3,003; makefile: 2,153; lex: 412
file content (46 lines) | stat: -rw-r--r-- 2,825 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

init.c:1:16: Global c[0] initialized to null value: c[0] = NULL
init.c:1:43: Initial value of c[2][2] is type int, expects char: 3
init.c:1:48: Global c[3] initialized to null value: c[3] = NULL
init.c:4:23: Global st.uname initialized to null value: st.uname = NULL
init.c:4:29: Initial value of st.y is type double, expects int: 1.2
init.c:7:7: Initializer block for st2[0] has 3 fields, but struct { char *
    name; int [] x; char * uname;, ... } has 4 fields: "bob", { 1, 2 }, NULL
init.c:8:19: Initial value of st2[1].x is type int, expects int []: 3
init.c:8:22: Global st2[1].uname initialized to null value: st2[1].uname = NULL
init.c:10:13: Initializer block for a has 7 elements, but declared as int [10]:
                 1, 2, 3, 4, 3.4, 6, 4
init.c:10:27: Initial value of a[4] is type double, expects int: 3.4
init.c:12:34: Initial value of aa[1][1] is type double, expects int: 3.2
init.c:14:13: Initializer block for b has 2 elements, but declared as int [10]:
                 { 1, 2 }, { 3, 4 }
init.c:14:15: Initializer block used for b[0] where int is expected: { 1, 2 }
init.c:14:25: Initializer block used for b[1] where int is expected: { 3, 4 }

Finished checking --- 14 code warnings, as expected

init.c:1:16: Global c[0] initialized to null value: c[0] = NULL
init.c:1:22: Read-only string literal storage used as initial value for
                unqualified storage: c[1] = "hullo"
init.c:1:43: Initial value of c[2][2] is type int, expects char: 3
init.c:1:48: Global c[3] initialized to null value: c[3] = NULL
init.c:4:7: Read-only string literal storage used as initial value for
               unqualified storage: st.name = "bob"
init.c:4:23: Global st.uname initialized to null value: st.uname = NULL
init.c:4:29: Initial value of st.y is type double, expects int: 1.2
init.c:7:7: Initializer block for st2[0] has 3 fields, but struct { char *
    name; int [] x; char * uname;, ... } has 4 fields: "bob", { 1, 2 }, NULL
init.c:8:9: Read-only string literal storage used as initial value for
               unqualified storage: st2[1].name = "charly"
init.c:8:19: Initial value of st2[1].x is type int, expects int []: 3
init.c:8:22: Global st2[1].uname initialized to null value: st2[1].uname = NULL
init.c:10:13: Initializer block for a has 7 elements, but declared as int [10]:
                 1, 2, 3, 4, 3.4, 6, 4
init.c:10:27: Initial value of a[4] is type double, expects int: 3.4
init.c:12:34: Initial value of aa[1][1] is type double, expects int: 3.2
init.c:14:13: Initializer block for b has 2 elements, but declared as int [10]:
                 { 1, 2 }, { 3, 4 }
init.c:14:15: Initializer block used for b[0] where int is expected: { 1, 2 }
init.c:14:25: Initializer block used for b[1] where int is expected: { 3, 4 }

Finished checking --- 17 code warnings, as expected