[splint.git] / test / tainted / Makefile~

.PHONY: tainted 

LCLINT = lclint

all: tainted 

tainted:
	${LCLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
	${LCLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
	${LCLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
	${LCLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
	${LCLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1
	${LCLINT} -mts tainted tainted5.c -mustfree -exportlocal -expect 2
	${LCLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3
	${LCLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1
Commit	Line	Data
98ed3b22	1	.PHONY: tainted
	2
	3	LCLINT = lclint
	4
	5	all: tainted
	6
	7	tainted:
	8	${LCLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
	9	${LCLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
	10	${LCLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
	11	${LCLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
	12	${LCLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1
	13	${LCLINT} -mts tainted tainted5.c -mustfree -exportlocal -expect 2
	14	${LCLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3
	15	${LCLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1