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 (/*@untainted@*/ char *def)
9 checkTainted (&def); /* okay (untainted as tainted) */
12 void test2 (ucharp_t *def)
15 checkTainted (def); /* okay */