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

extern char *mtainted (char *s); 

void test (/*@untainted@*/ char *s)
{
  (void) system (mtainted (s));
}
Commit	Line	Data
98ed3b22	1	extern char mtainted (char s);
	2
	3	void test (/@untainted@/ char *s)
	4	{
	5	(void) system (mtainted (s));
	6	}