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