Searched refs:UnmatchedWaitBugType (Results 1 – 2 of 2) sorted by relevance
28 UnmatchedWaitBugType.reset(new BugType(&CB, "Unmatched wait", MPIError)); in MPIBugReporter()74 std::unique_ptr<BugType> UnmatchedWaitBugType; variable
76 auto Report = std::make_unique<PathSensitiveBugReport>(*UnmatchedWaitBugType, in reportUnmatchedWait()