[splint.git] / test / bufferTest.out


test4.c: (in function t)
test4.c:6:3: Variable g used before definition
test4.c:6:3: Unresolved constraint:
    Lclint is unable to resolve Requires: : MAXSET ((g @ test4.c:6:3 ) )  >=  (
    100 )  needed to satisfy Requires: : MAXSET ((g @ test4.c:6:3 ) )  >=  (
    100 ) 
test6.c:2:6: Function t defined more than once
   test4.c:15:1: Previous definition of t
test6.c: (in function t)
test6.c:5:4: Variable g used before definition
test6.c:6:3: Unresolved constraint:
    Lclint is unable to resolve Requires: : MAXSET ((g @ test6.c:5:4 ) )  >=  (
    1 )  needed to satisfy Requires: : MAXSET ((g @ test6.c:6:3 ) )  >=  ( 0 ) 
test6.c:6:10: Unresolved constraint:
    Lclint is unable to resolve Requires: : MAXREAD ((g @ test6.c:5:4 ) )  >= 
    ( 2 )  needed to satisfy Requires: : MAXREAD ((g @ test6.c:6:10 ) )  >=  (
    1 ) 

Finished LCLint checking --- 6 code errors found
Commit	Line	Data
5caadb51	1
	2	test4.c: (in function t)
	3	test4.c:6:3: Variable g used before definition
bb25bea6	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