Leave symbol pseudo usage intact when doing phi-node conversion.

[smatch.git] / validation / varargs1.c

extern int foo (const char *, ...);
void error(const char err[])
{
  foo("%s\n",err);
}