*** empty log message ***

[splint.git] / test / tainted / taintedimplicit.c~

char *taintme (char *s)
     /*@ensures result:taintedness = s:taintedness@*/
{
  char *res = (char *) malloc (sizeof (*res) * strlen (s));

  strcpy (res, s);
  return s;
}