Home
last modified time | relevance | path

Searched refs:Z3Result (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DZ3CrosscheckVisitor.h26 struct Z3Result { struct
31 Z3CrosscheckVisitor(Z3CrosscheckVisitor::Z3Result &Result, argument
49 Z3Result &Result;
83 Z3Decision interpretQueryResult(const Z3CrosscheckVisitor::Z3Result &Meta);
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DZ3CrosscheckVisitor.cpp42 Z3CrosscheckVisitor::Z3CrosscheckVisitor(Z3CrosscheckVisitor::Z3Result &Result, in Z3CrosscheckVisitor()
85 Result = Z3Result{ in finalizeVisitor()
124 const Z3CrosscheckVisitor::Z3Result &Query) { in interpretQueryResult()
H A DBugReporter.cpp2877 Z3CrosscheckVisitor::Z3Result CrosscheckResult; in findValidReport()