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) ;
6 void test (/*@tainted@*/ char *def)
8 checkTainted (&def); /* okay */
9 checkUntainted (&def); /* error */