]> andersk Git - splint.git/blob - test/bufferTest.expect
Added some expect files.
[splint.git] / test / bufferTest.expect
1
2 test4.c: (in function t)
3 test4.c:6:3: Variable g used before definition
4 test4.c:6:3: Unresolved constraint:
5     Lclint is unable to resolve Requires: : MAXSET ((g @ test4.c:6:3 ) )  >=  (
6     100 )  needed to satisfy Requires: : MAXSET ((g @ test4.c:6:3 ) )  >=  (
7     100 ) 
8 test6.c:2:6: Function t defined more than once
9    test4.c:15:1: Previous definition of t
10 test6.c: (in function t)
11 test6.c:5:4: Variable g used before definition
12 test6.c:6:3: Unresolved constraint:
13     Lclint is unable to resolve Requires: : MAXSET ((g @ test6.c:5:4 ) )  >=  (
14     1 )  needed to satisfy Requires: : MAXSET ((g @ test6.c:6:3 ) )  >=  ( 0 ) 
15 test6.c:6:10: Unresolved constraint:
16     Lclint is unable to resolve Requires: : MAXREAD ((g @ test6.c:5:4 ) )  >= 
17     ( 2 )  needed to satisfy Requires: : MAXREAD ((g @ test6.c:6:10 ) )  >=  (
18     1 ) 
19
20 Finished LCLint checking --- 6 code errors found
This page took 0.064014 seconds and 5 git commands to generate.