Searched refs:DivisionBRVisitor (Results 1 – 1 of 1) sorted by relevance
58 class DivisionBRVisitor : public BugReporterVisitorImpl<DivisionBRVisitor> { class65 DivisionBRVisitor(SymbolRef ZeroSymbol, const StackFrameContext *SFC) in DivisionBRVisitor() function in __anonb1806a3e0111::DivisionBRVisitor97 PathDiagnosticPiece *DivisionBRVisitor::VisitNode(const ExplodedNode *Succ, in REGISTER_SET_WITH_PROGRAMSTATE()179 R->addVisitor(new DivisionBRVisitor(Val.getAsSymbol(), C.getStackFrame())); in reportBug()