]> andersk Git - splint.git/blob - test/arrayinit.expect
Added files to generate a binary package by doing make bindist
[splint.git] / test / arrayinit.expect
1
2 arrayinit.c:1:12: Initializer block for x has 4 elements, but declared as int
3                      [3]: 1, 2, 3, 4
4 arrayinit.c:2:12: Initializer block for a has 2 elements, but declared as int
5                      [3]: 1, 2
6 arrayinit.c:3:16: Initializer block for aa has 2 elements, but declared as int
7                      [3] [3]: { 1, 2, 3 }, { 4, 5 }
8 arrayinit.c:4:18: Initializer block for aa[1] has 2 elements, but declared as
9                      int [3]: 4, 5
10 arrayinit.c:10:15: String literal with 3 characters is assigned to char [3] (no
11                       room for null terminator): "abc"
12 arrayinit.c:11:15: Stirng literal with 4 characters (counting null terminator)
13     is assigned to char [3] (insufficient storage available): "abcd"
14 arrayinit.c:14:40: String literal with 3 characters is assigned to char [3] (no
15                       room for null terminator): "def"
16 arrayinit.c:14:47: Stirng literal with 5 characters (counting null terminator)
17     is assigned to char [3] (insufficient storage available): "gasdf"
18
19 Finished LCLint checking --- 8 code errors found, as expected
20
21 arrayinit.c:1:12: Initializer block for x has 4 elements, but declared as int
22                      [3]: 1, 2, 3, 4
23 arrayinit.c:2:12: Initializer block for a has 2 elements, but declared as int
24                      [3]: 1, 2
25 arrayinit.c:3:16: Initializer block for aa has 2 elements, but declared as int
26                      [3] [3]: { 1, 2, 3 }, { 4, 5 }
27 arrayinit.c:4:18: Initializer block for aa[1] has 2 elements, but declared as
28                      int [3]: 4, 5
29 arrayinit.c:10:15: String literal with 3 characters is assigned to char [3] (no
30                       room for null terminator): "abc"
31 arrayinit.c:11:15: Stirng literal with 4 characters (counting null terminator)
32     is assigned to char [3] (insufficient storage available): "abcd"
33 arrayinit.c:12:15: String literal with 1 character is assigned to char [3]
34                       (possible waste of storage): "a"
35 arrayinit.c:14:40: String literal with 3 characters is assigned to char [3] (no
36                       room for null terminator): "def"
37 arrayinit.c:14:47: Stirng literal with 5 characters (counting null terminator)
38     is assigned to char [3] (insufficient storage available): "gasdf"
39
40 Finished LCLint checking --- 9 code errors found, as expected
This page took 0.253514 seconds and 5 git commands to generate.