Fixed manual csvoverwrite.

[splint.git] / test / tests2.2 / realloc.c

void f (/*@only@*/ char *s)
{
  char *m = realloc (s);

  free (m);
}