Fixed manual csvoverwrite.

[splint.git] / test / tainted / t1.c

extern char *mtainted (char *s); 

void test (/*@untainted@*/ char *s)
{
  (void) system (mtainted (s));
}