Fix library specification of calloc()
[splint-patched.git] / test / tests2.4.expect
blob7a0486a0707aef2d4c78cf88cb5844ce94c7e568
2 Finished checking --- no warnings
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
7 Finished checking --- 2 code warnings, as expected
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)
18 Finished checking --- 7 code warnings, as expected
20 Finished checking --- no warnings
22 Finished checking --- no warnings
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
31 Finished checking --- 5 code warnings, as expected
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
38 Finished checking --- 3 code warnings, as expected
40 Finished checking --- no warnings
42 Finished checking --- no warnings
44 Finished checking --- no warnings
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
50 Finished checking --- 1 code warning, as expected
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
62 Finished checking --- 4 code warnings, as expected
64 innercomment.c:1:17: Comment starts inside comment
65 innercomment.c:16:3: Comment starts inside comment
67 Finished checking --- 2 code warnings, as expected
69 Finished checking --- no warnings
71 Finished checking --- no warnings
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)
78 Finished checking --- 2 code warnings, as expected
80 Finished checking --- no warnings
82 Finished checking --- no warnings
84 Finished checking --- no warnings
86 error.c:5:9: Variable x initialized to type char, expects int: 'a'
88 Finished checking --- 1 code warning, as expected
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 ulrich.c:15:12: Returned storage newblock not completely defined (*newblock is
94                    undefined): newblock
95    ulrich.c:12:5: Storage *newblock allocated
97 Finished checking --- 2 code warnings, as expected
99 cpptest.c: (in function test)
100 cpptest.c:2:11: Variable x initialized to type char, expects int: 'a'
102 Finished checking --- 1 code warning, as expected
104 longlong.c: (in function llf)
105 longlong.c:2:11: Variable m initialized to type long long, expects int: llx
106 longlong.c:3:3: Assignment of long long to int: m = 243LL
107 longlong.c:6:3: Assignment of long long to long int: lx = 5234LL
108 longlong.c:9:3: Assignment of long long to long int: lx = llx
110 Finished checking --- 4 code warnings, as expected
112 Finished checking --- no warnings
114 Finished checking --- no warnings
116 Finished checking --- no warnings
118 alignof.c: (in function f)
119 alignof.c:2:23: Variable m initialized to type size_t, expects int: alignof(x)
120 alignof.c:3:23: Variable n initialized to type size_t, expects int:
121                    alignof((x))
123 Finished checking --- 2 code warnings, as expected
125 Command Line: Flag -D requires a preprocessor macro merged with it (no separate
126                  arguments)
127 Spec file not found: DBL_MANT_DIG=25.lcl
128 Cannot open file: DBL_MANT_DIG=25.c
129 Cannot open file: source.c
131 Finished checking --- no code processed