[splint.git] / test / tainted / tainted3.c

extern void checkUntainted (/*@untainted@*/ char *s) ;
extern void checkTainted (/*@tainted@*/ char *s) ;

void test (/*@tainted@*/ char *def)
{
  checkTainted (def);
  checkUntainted (def); /* error */
}
Commit	Line	Data
98ed3b22	1	extern void checkUntainted (/@untainted@/ char *s) ;
	2	extern void checkTainted (/@tainted@/ char *s) ;
	3
	4	void test (/@tainted@/ char *def)
	5	{
	6	checkTainted (def);
	7	checkUntainted (def); /* error */
	8	}