Fixed problem with comman line redefinitions (no filename).

[splint.git] / test / metastate / file7.c

void *msg;

int f (void *p)
{
  return 3;
}

int g ()
{
  msg = malloc (sizeof (*msg));

  return f (msg);
}