[splint.git] / test / bufferTest.out


test4.c: (in function t)
test4.c:6:3: Variable g used before definition
test4.c:6:3: Possible out-of-bounds store.  Unable to resolve constraint:
    requires maxSet(g @ test4.c:6:3) >= 100
     needed to satisfy precondition:
    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: Possible out-of-bounds store.  Unable to resolve constraint:
    requires maxSet(g @ test6.c:5:4) >= 1
     needed to satisfy precondition:
    requires maxSet(g @ test6.c:6:3) >= 0
test6.c:6:10: Possible out-of-bounds read.  Unable to resolve constraint:
    requires maxRead(g @ test6.c:5:4) >= 2
     needed to satisfy precondition:
    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
03d670b6	4	test4.c:6:3: Possible out-of-bounds store. Unable to resolve constraint:
4109ede4	5	requires maxSet(g @ test4.c:6:3) >= 100
03d670b6	6	needed to satisfy precondition:
4109ede4	7	requires maxSet(g @ test4.c:6:3) >= 100
bb25bea6	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
03d670b6	12	test6.c:6:3: Possible out-of-bounds store. Unable to resolve constraint:
4109ede4	13	requires maxSet(g @ test6.c:5:4) >= 1
03d670b6	14	needed to satisfy precondition:
4109ede4	15	requires maxSet(g @ test6.c:6:3) >= 0
03d670b6	16	test6.c:6:10: Possible out-of-bounds read. Unable to resolve constraint:
4109ede4	17	requires maxRead(g @ test6.c:5:4) >= 2
03d670b6	18	needed to satisfy precondition:
4109ede4	19	requires maxRead(g @ test6.c:6:10) >= 1
bb25bea6	20
bb25bea6	21	Finished LCLint checking --- 6 code errors found