3 m.c:9:1: Index of possibly null pointer f: f
4 m.c:8:5: Storage f may become null
5 sizeof.c: (in function f)
6 sizeof.c:17:1: Unresolved constraint:
7 Lclint is unable to resolve Requires: :
8 ( 2 ) >= ( 3 ) needed to satisfy Requires: : MAXSET ((x @ sizeof.c:17:1
10 test3.c:2:6: Function t defined more than once
11 m.c:11:1: Previous definition of t
12 test3.c: (in function t)
13 test3.c:9:3: Unresolved constraint:
14 Lclint is unable to resolve Requires: :
15 ( 99 ) >= ( 101 ) needed to satisfy Requires: : MAXSET ((g @
16 test3.c:9:3 ) ) >= ( 101 )
17 test7.c:2:6: Function t defined more than once
18 m.c:11:1: Previous definition of t
19 test7.c: (in function t)
20 test7.c:6:3: Unresolved constraint:
21 Lclint is unable to resolve Requires: : MAXSET ((g @ test7.c:4:3 ) ) >= (
22 4 ) needed to satisfy Requires: : MAXSET ((g @ test7.c:6:3 ) ) >= ( 2 )
23 test7.c:8:3: Unresolved constraint:
24 Lclint is unable to resolve Requires: : MAXSET ((j @ test7.c:8:3 ) ) >= (
25 0 ) needed to satisfy Requires: : MAXSET ((j @ test7.c:8:3 ) ) >= ( 0 )
27 Finished LCLint checking --- 7 code errors found