test/tainted/tainted5.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 (/*@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 }