Searched refs:summary_file (Results 1 – 3 of 3) sorted by relevance
119 if (!G_flags->summary_file.empty()) { in UpdateSummary()126 OpenFileWriteStringAndClose(G_flags->summary_file, buff); in UpdateSummary()
64 string summary_file; member
6030 if (!G_flags->summary_file.empty()) { in PrintReport()6037 OpenFileWriteStringAndClose(G_flags->summary_file, buff); in PrintReport()8184 G_flags->summary_file = summary_file_tmp.back(); in ThreadSanitizerParseFlags()