[splint.git] / test / bufferTest.out


test4.c: (in function t)
test4.c:6:3: Variable g used before definition
constraintExpr.c:307: at source point
test4.c:15:2: *** Internal Bug at constraintExpr.c:307: llassert failed:
                constraintExprData_isDefined(data) [errno: 25]
*** Last code point: aliasChecks.c:3664
*** Previous code point: aliasChecks.c:3565
Possible system error diagnostic: : Inappropriate ioctl for device
     *** Please report bug to lclint-bug@cs.virginia.edu ***
       (attempting to continue, results may be incorrect)
lclint: llerror.c:1204: llbugaux: Assertion `0' failed.
Abort (core dumped)
Commit	Line	Data
5caadb51	1
	2	test4.c: (in function t)
	3	test4.c:6:3: Variable g used before definition
d46ce6a4	4	constraintExpr.c:307: at source point
	5	test4.c:15:2: *** Internal Bug at constraintExpr.c:307: llassert failed:
	6	constraintExprData_isDefined(data) [errno: 25]
	7	*** Last code point: aliasChecks.c:3664
	8	*** Previous code point: aliasChecks.c:3565
	9	Possible system error diagnostic: : Inappropriate ioctl for device
	10	* Please report bug to lclint-bug@cs.virginia.edu *
	11	(attempting to continue, results may be incorrect)
	12	lclint: llerror.c:1204: llbugaux: Assertion `0' failed.
	13	Abort (core dumped)