Searched refs:DebugMsgBugType (Results 1 – 2 of 2) sorted by relevance
30 std::unique_ptr<BugType> DebugMsgBugType; member in __anon39e5de770111::DebugContainerModeling58 DebugMsgBugType.reset( in DebugContainerModeling()139 BR.emitReport(std::make_unique<PathSensitiveBugReport>(*DebugMsgBugType, in reportDebugMsg()
30 std::unique_ptr<BugType> DebugMsgBugType; member in __anonbcfee93e0111::DebugIteratorModeling61 DebugMsgBugType.reset( in DebugIteratorModeling()133 BR.emitReport(std::make_unique<PathSensitiveBugReport>(*DebugMsgBugType, in reportDebugMsg()