Lines Matching refs:race
27 // This file is part of ThreadSanitizer, a dynamic data race detector.
51 // whether this race has already been reported
55 // pc -> race
95 PossibleRace* race = it->second;
96 if (race->reported)
98 if (race->pc >= min_pc && race->pc <= max_pc) {
100 // Two race candidates in one trace. Just instrument it fully.
104 pc = race->pc;
106 for (vector<uintptr_t>::iterator it2 = race->traces.begin();
107 it2 != race->traces.end(); ++it2) {
130 /* Build and print a race report for a data address. Does not print stack traces
133 --race-verifier-extra races.
175 /* Prints a race report for the given data address, either finding one in a
181 PossibleRace* race = FindRaceForAddr(addr);
182 if (race) {
193 Printf("WARNING: Confirmed a race that was marked as UNVERIFIABLE:\n");
195 Printf("WARNING: Confirmed a race:\n");
196 const string& report = race->report;
202 // Suppress future reports for this race.
203 race->reported = true;
208 Printf("Warning: unexpected race found!\n");
289 /* Parse a race description that appears in TSan logs after the words
290 "Race verifier data: ", not including the said words. It looks like
293 PossibleRace* race = new PossibleRace();
302 if (!race->pc)
303 race->pc = addr;
305 race->traces.push_back(addr);
310 Printf("Possible race: %s", raceInfo.c_str());
311 return race;
315 delete race;
322 /* Parse a race description and add it to races_map. */
324 PossibleRace* race = ParseRaceInfo(raceInfo);
325 if (race)
326 (*races_map)[race->pc] = race;
356 /* Parse a TSan log and add all race verifier info's from it to our storage of
359 Printf("Reading race data from %s\n", fileName.c_str());
360 const string RACEINFO_MARKER = "Race verifier data: ";
368 if ((line.find("WARNING: Possible data race during") !=
370 (line.find("WARNING: Expected data race during") !=
377 PossibleRace* race = ParseRaceInfo(raceInfo);
379 race->report = *desc;
380 (*races_map)[race->pc] = race;
419 * Init the race verifier. Should be called exactly once before any other
422 * @param raceInfos Additional race description strings.
442 Report("RaceVerifier summary: verified %d race(s)\n", n_reports);
