Searched refs:querySolver (Results 1 – 2 of 2) sorted by relevance
309 Solver::Result querySolver(llvm::DenseSet<BoolValue *> Constraints);314 return querySolver(std::move(Constraints)).getStatus() == in isUnsatisfiable()
190 DataflowAnalysisContext::querySolver(llvm::DenseSet<BoolValue *> Constraints) { in querySolver() function in clang::dataflow::DataflowAnalysisContext