1 LCLint 2.5q --- 20 May 2000
3 bufferTest/test4.c: (in function t)
4 bufferTest/test4.c:6:3: Variable g used before definition
5 An rvalue is used that may not be initialized to a value on some execution
6 path. (-usedef will suppress message)
8 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 1 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:10:5 ) >= VALUE ( 0 )
10 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 68 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:11:5 ) >= VALUE ( 67 )
11 Unresolved constraint:
12 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 71 ) needed to satisy Requires: : MAXREAD ( g @ bufferTest/test4.c:11:13 ) >= VALUE ( 70 )
13 Unresolved constraint:
14 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 99 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:12:5 ) >= VALUE ( 98 )
15 Unresolved constraint:
16 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 100 ) needed to satisy Requires: : MAXREAD ( g @ bufferTest/test4.c:12:13 ) >= VALUE ( 99 )
17 Unresolved constraint:
18 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 91 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:13:5 ) >= VALUE ( 90 )
19 Function Post condition:
20 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:13:19 ) >= VALUE ( 90 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:13:19 ) >= VALUE ( 90 )
21 Function Post condition:
22 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:13:19 ) >= VALUE ( 3 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:13:19 ) >= VALUE ( 3 )
23 Function Post condition:
24 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:12:19 ) >= VALUE ( 98 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:12:19 ) >= VALUE ( 98 )
25 Function Post condition:
26 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:12:19 ) >= VALUE ( 99 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:12:19 ) >= VALUE ( 99 )
27 Function Post condition:
28 Based on the constraint Ensures: : VALUE ( g @ bufferTest/test4.c:8:7 ) == VALUE ( g @ bufferTest/test4.c:8:5 ) + VALUE ( 1 ) this function appears to have the post condition Ensures: : VALUE ( g @ bufferTest/test4.c:8:7 ) == VALUE ( g @ bufferTest/test4.c:8:5 ) + VALUE ( 1 )
29 Unresolved constraint:
30 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:6:3 ) >= VALUE ( 100 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:6:3 ) >= VALUE ( 100 )
31 Unresolved constraint:
32 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 1 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:10:5 ) >= VALUE ( 0 )
33 Unresolved constraint:
34 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 68 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:11:5 ) >= VALUE ( 67 )
35 Unresolved constraint:
36 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 71 ) needed to satisy Requires: : MAXREAD ( g @ bufferTest/test4.c:11:13 ) >= VALUE ( 70 )
37 Unresolved constraint:
38 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 99 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:12:5 ) >= VALUE ( 98 )
39 Unresolved constraint:
40 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 100 ) needed to satisy Requires: : MAXREAD ( g @ bufferTest/test4.c:12:13 ) >= VALUE ( 99 )
41 Unresolved constraint:
42 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test4.c:8:5 ) >= VALUE ( 91 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test4.c:13:5 ) >= VALUE ( 90 )
43 Function Post condition:
44 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:13:19 ) >= VALUE ( 90 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:13:19 ) >= VALUE ( 90 )
45 Function Post condition:
46 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:13:19 ) >= VALUE ( 3 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:13:19 ) >= VALUE ( 3 )
47 Function Post condition:
48 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:12:19 ) >= VALUE ( 98 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:12:19 ) >= VALUE ( 98 )
49 Function Post condition:
50 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:12:19 ) >= VALUE ( 99 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:12:19 ) >= VALUE ( 99 )
51 Function Post condition:
52 Based on the constraint Ensures: : VALUE ( g @ bufferTest/test4.c:8:7 ) == VALUE ( g @ bufferTest/test4.c:8:5 ) + VALUE ( 1 ) this function appears to have the post condition Ensures: : VALUE ( g @ bufferTest/test4.c:8:7 ) == VALUE ( g @ bufferTest/test4.c:8:5 ) + VALUE ( 1 )
53 Function Post condition:
54 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test4.c:6:16 ) >= VALUE ( 100 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test4.c:6:16 ) >= VALUE ( 100 )
56 Finished LCLint checking --- 1 code error found
57 LCLint 2.5q --- 20 May 2000
59 bufferTest/test6.c: (in function t)
60 bufferTest/test6.c:6:3: Variable g used before definition
61 An rvalue is used that may not be initialized to a value on some execution
62 path. (-usedef will suppress message)
63 Unresolved constraint:
64 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test6.c:6:3 ) >= VALUE ( 1 ) needed to satisy Requires: : MAXSET ( g @ bufferTest/test6.c:7:3 ) >= VALUE ( 0 )
65 Unresolved constraint:
66 Lclint is unable to resolve Requires: : MAXSET ( g @ bufferTest/test6.c:6:3 ) >= VALUE ( 2 ) needed to satisy Requires: : MAXREAD ( g @ bufferTest/test6.c:7:10 ) >= VALUE ( 1 )
67 Function Post condition:
68 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test6.c:7:15 ) >= VALUE ( 0 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test6.c:7:15 ) >= VALUE ( 0 )
69 Function Post condition:
70 Based on the constraint Ensures: : MAXREAD ( g @ bufferTest/test6.c:7:15 ) >= VALUE ( 1 ) this function appears to have the post condition Ensures: : MAXREAD ( g @ bufferTest/test6.c:7:15 ) >= VALUE ( 1 )
71 Function Post condition:
72 Based on the constraint Ensures: : VALUE ( g @ bufferTest/test6.c:6:5 ) == VALUE ( g @ bufferTest/test6.c:6:3 ) + VALUE ( 1 ) this function appears to have the post condition Ensures: : VALUE ( g @ bufferTest/test6.c:6:5 ) == VALUE ( g @ bufferTest/test6.c:6:3 ) + VALUE ( 1 )
74 Finished LCLint checking --- 1 code error found