]> andersk Git - splint.git/blob - test/moreBufferTests.expect
Added some additional tests fixed error in the maxset test
[splint.git] / test / moreBufferTests.expect
1
2 unrecogCall.c: (in function foo)
3 unrecogCall.c:8:3: Unrecognized identifier: bar
4 strrchr.c: (in function bar)
5 strrchr.c:9:9: Variable ot declared but not used
6 initialization.c: (in function initialization)
7 initialization.c:5:10: Variable g declared but not used
8 initialization.c:8:3: Unresolved constraint:
9     Lclint is unable to resolve Requires: : MAXSET ((d @ initialization.c:3:14
10     ) )  >=  ( 2 )  needed to satisfy Requires: :
11     MAXSET ((f @ initialization.c:8:3 ) )  >=  ( 2 ) 
12 initialization.c:5:14: Unresolved constraint:
13     Lclint is unable to resolve Requires: : MAXREAD ((d @ initialization.c:3:14
14     ) )  >=  ( 22 )  needed to satisfy Requires: :
15     MAXREAD ((e @ initialization.c:5:14 ) )  >=  ( 22 ) 
16 simplifyTest.c: (in function fooSub)
17 simplifyTest.c:3:3: Unresolved constraint:
18     Lclint is unable to resolve Requires: : MAXSET ((s @ simplifyTest.c:3:3 ) )
19      >=  (i @ simplifyTest.c:3:5 )  needed to satisfy Requires: :
20     MAXSET ((s @ simplifyTest.c:3:3 ) )  >=  (i @ simplifyTest.c:3:5 ) 
21 simplifyTest.c: (in function fooAdd)
22 simplifyTest.c:10:3: Unresolved constraint:
23     Lclint is unable to resolve Requires: : MAXSET ((s @ simplifyTest.c:10:3 )
24     )  >=  ((i @ simplifyTest.c:10:5 ) ) + (( 2 ) ) needed to satisfy Requires:
25     : MAXSET ((s @ simplifyTest.c:10:3 ) )  >=  ((i @ simplifyTest.c:10:5 ) ) +
26     (( 2 ) )
27
28 Finished LCLint checking --- 7 code errors found
This page took 0.171045 seconds and 5 git commands to generate.