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

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

void test (/*@untainted@*/ char *def) 
{
  checkUntainted (&def); 
  checkTainted (&def); /* okay (untainted as tainted) */
}

void test2 (ucharp_t *def)  
{
  checkUntainted (def); 
  checkTainted (def); /* okay */
}
Commit	Line	Data
98ed3b22	1	typedef /@untainted@/ char *ucharp_t;
	2	extern void checkUntainted (ucharp_t *s) ;
	3	typedef /@tainted@/ char *tcharp_t;
	4	extern void checkTainted (tcharp_t *s) ;
	5
	6	void test (/@untainted@/ char *def)
	7	{
	8	checkUntainted (&def);
	9	checkTainted (&def); /* okay (untainted as tainted) */
	10	}
	11
	12	void test2 (ucharp_t *def)
	13	{
	14	checkUntainted (def);
	15	checkTainted (def); /* okay */
	16	}