Searched refs:Z3CrosscheckVisitor (Results 1 – 4 of 4) sorted by relevance
42 Z3CrosscheckVisitor::Z3CrosscheckVisitor(Z3CrosscheckVisitor::Z3Result &Result, in Z3CrosscheckVisitor() function in Z3CrosscheckVisitor47 void Z3CrosscheckVisitor::finalizeVisitor(BugReporterContext &BRC, in finalizeVisitor()92 void Z3CrosscheckVisitor::addConstraints( in addConstraints()112 Z3CrosscheckVisitor::VisitNode(const ExplodedNode *N, BugReporterContext &, in VisitNode()118 void Z3CrosscheckVisitor::Profile(llvm::FoldingSetNodeID &ID) const { in Profile()124 const Z3CrosscheckVisitor::Z3Result &Query) { in interpretQueryResult()
2877 Z3CrosscheckVisitor::Z3Result CrosscheckResult; in findValidReport()2878 R->addVisitor<Z3CrosscheckVisitor>(CrosscheckResult, in findValidReport()
24 class Z3CrosscheckVisitor final : public BugReporterVisitor {31 Z3CrosscheckVisitor(Z3CrosscheckVisitor::Z3Result &Result,83 Z3Decision interpretQueryResult(const Z3CrosscheckVisitor::Z3Result &Meta);
814 SRCS_FUL+= StaticAnalyzer/Core/Z3CrosscheckVisitor.cpp