]> andersk Git - splint.git/blob - test/tests2.4.expect
Fixed line counting for #pragma's.
[splint.git] / test / tests2.4.expect
1
2 Finished checking --- no warnings
3
4 enumtest.c:1:9: Variable exported but not used outside enumtest: sig_func
5 enumtest.c:2:10: Variable exported but not used outside enumtest: sig_func1
6
7 Finished checking --- 2 code warnings, as expected
8
9 duffs.c: (in function send)
10 duffs.c:7:8: Fall through case (no preceding break)
11 duffs.c:8:8: Fall through case (no preceding break)
12 duffs.c:9:8: Fall through case (no preceding break)
13 duffs.c:10:8: Fall through case (no preceding break)
14 duffs.c:11:8: Fall through case (no preceding break)
15 duffs.c:12:8: Fall through case (no preceding break)
16 duffs.c:13:8: Fall through case (no preceding break)
17
18 Finished checking --- 7 code warnings, as expected
19
20 Finished checking --- no warnings
21
22 Finished checking --- no warnings
23
24 bug2.c: (in function main)
25 bug2.c:6:8: Fall through case (no preceding break)
26 bug2.c:10:10: Fall through case (no preceding break)
27 bug2.c:16:8: Fall through case (no preceding break)
28 bug2.c:5:5: Statement after switch is not a case: printf("here 1");
29 bug2.c:20:2: Path with no return in function declared to return int
30
31 Finished checking --- 5 code warnings, as expected
32
33 bug3.c: (in function main)
34 bug3.c:8:8: Fall through case (no preceding break)
35 bug3.c:12:21: Variable j used before definition
36 bug3.c:13:2: Path with no return in function declared to return int
37
38 Finished checking --- 3 code warnings, as expected
39
40 Finished checking --- no warnings
41
42 Finished checking --- no warnings
43
44 Finished checking --- no warnings
45
46 hexconstants.c: (in function f)
47 hexconstants.c:5:10: Return value type unsigned int does not match declared
48                         type int: m1 + m2
49
50 Finished checking --- 1 code warning, as expected
51
52 hexconstants.c: (in function f)
53 hexconstants.c:2:21: Variable m1 initialized to type int, expects unsigned int:
54                         0xFF
55 hexconstants.c:3:21: Variable m2 initialized to type int, expects unsigned int:
56                         0142
57 hexconstants.c:5:10: Return value type unsigned int does not match declared
58                         type int: m1 + m2
59 hexconstants.c:1:5: Function f exported but not declared in header file
60    hexconstants.c:6:1: Definition of f
61
62 Finished checking --- 4 code warnings, as expected
63
64 innercomment.c:1:17: Comment starts inside comment
65 innercomment.c:16:3: Comment starts inside comment
66
67 Finished checking --- 2 code warnings, as expected
68
69 Finished checking --- no warnings
70
71 Finished checking --- no warnings
72
73 offsetof.c: (in function f)
74 offsetof.c:10:3: Assignment of size_t to int: m = offsetof(S,u)
75 offsetof.c:12:26: Deep field k in offsetof is not the name of a field of struct
76                      { int m; }: offsetof(S,u.s.k)
77
78 Finished checking --- 2 code warnings, as expected
79
80 Finished checking --- no warnings
81
82 Finished checking --- no warnings
83
84 Finished checking --- no warnings
85
86 error.c:5:9: Variable x initialized to type char, expects int: 'a'
87
88 Finished checking --- 1 code warning, as expected
89
90 ulrich.c: (in function utl_calloc)
91 ulrich.c:15:12: Possibly null storage newblock returned as non-null: newblock
92    ulrich.c:12:16: Storage newblock may become null
93
94 Finished checking --- 1 code warning, as expected
95
96 cpptest.c: (in function test)
97 cpptest.c:2:11: Variable x initialized to type char, expects int: 'a'
98
99 Finished checking --- 1 code warning, as expected
100
101 longlong.c: (in function llf)
102 longlong.c:2:11: Variable m initialized to type long long, expects int: llx
103 longlong.c:3:3: Assignment of long long to int: m = 243LL
104 longlong.c:6:3: Assignment of long long to long int: lx = 5234LL
105 longlong.c:9:3: Assignment of long long to long int: lx = llx
106
107 Finished checking --- 4 code warnings, as expected
108
109 Finished checking --- no warnings
110
111 Finished checking --- no warnings
112
113 Finished checking --- no warnings
114
115 alignof.c: (in function f)
116 alignof.c:2:23: Variable m initialized to type size_t, expects int: alignof(x)
117 alignof.c:3:23: Variable n initialized to type size_t, expects int:
118                    alignof((x))
119
120 Finished checking --- 2 code warnings, as expected
121
122 Spec file not found: DBL_MANT_DIG=25.lcl
123 Command Line: Malformed option `-D'
124 Cannot open file: DBL_MANT_DIG=25.c
125 Cannot open file: source.c
126
127 Finished checking --- 1 code warning, as expected
This page took 0.05123 seconds and 5 git commands to generate.