Searched refs:sourceline_string (Results 1 – 3 of 3) sorted by relevance
315 const char* sourceline_string = ToCString(sourceline); in ReportException() local316 printf("%s\n", sourceline_string); in ReportException()
375 const char* sourceline_string = ToCString(sourceline); in ReportException() local376 fprintf(stderr, "%s\n", sourceline_string); in ReportException()
611 const char* sourceline_string = ToCString(sourceline); in ReportException() local612 printf("%s\n", sourceline_string); in ReportException()