[splint.git] / test / inparam.out


inparam.c: (in function f)
inparam.c:8:16: Passed storage x not completely defined (*x is undefined):
                   unknown (x)
inparam.c:12:16: Passed storage x not completely defined (*x is undefined):
                    inparam (x)

Finished LCLint checking --- 2 code errors found, as expected

inparam.c: (in function f)
inparam.c:12:16: Passed storage x not completely defined (*x is undefined):
                    inparam (x)

Finished LCLint checking --- 1 code error found, as expected
Commit	Line	Data
885824d3	1
	2	inparam.c: (in function f)
	3	inparam.c:8:16: Passed storage x not completely defined (*x is undefined):
	4	unknown (x)
	5	inparam.c:12:16: Passed storage x not completely defined (*x is undefined):
	6	inparam (x)
	7
	8	Finished LCLint checking --- 2 code errors found, as expected
	9
	10	inparam.c: (in function f)
	11	inparam.c:12:16: Passed storage x not completely defined (*x is undefined):
	12	inparam (x)
	13
	14	Finished LCLint checking --- 1 code error found, as expected