[splint.git] / test / tainted / tainted4.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 (/*@tainted@*/ char *def)
{
  checkTainted (&def); /* okay */
  checkUntainted (&def); /* error */
}
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 (/@tainted@/ char *def)
	7	{
	8	checkTainted (&def); /* okay */
	9	checkUntainted (&def); /* error */
	10	}