Searched refs:DivisionBRVisitor (Results 1 – 1 of 1) sorted by relevance
58 class DivisionBRVisitor : public BugReporterVisitor { class65 DivisionBRVisitor(SymbolRef ZeroSymbol, const StackFrameContext *SFC) in DivisionBRVisitor() function in __anon2b9b3a140111::DivisionBRVisitor97 DivisionBRVisitor::VisitNode(const ExplodedNode *Succ, BugReporterContext &BRC, in REGISTER_SET_WITH_PROGRAMSTATE()176 R->addVisitor(std::make_unique<DivisionBRVisitor>(Val.getAsSymbol(), in reportBug()