test/tainted/tainted4.c

   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 }