Make the "entrypoint" be a special OP_ENTRY instruction instead of

[smatch.git] / validation / varargs1.c

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