void FUN_00422758(int param_1,char *param_2,__gnuc_va_list param_3)

{

  int iVar1;

  char *__s;

  char acStack_1018 [4096];

  char acStack_18 [4];

  iVar1 = snprintf(acStack_1018,0x1000,"%s %d: ",configfilename,lineno)   //possible issue identified - semgrep

  __s = acStack_1018 + iVar1;

  if (__s < acStack_18) {

    vsnprintf(__s,(int)acStack_18 - (int)__s,param_2,param_3)   //possible issue identified - semgrep

  }

  dprintf(param_1,"yyerror0",acStack_1018);

  puts(acStack_1018);

  return;

}