commit bb7ddfd21117a857f4153b20097ce50ebc272581
author Fangrui Song <maskray@google.com> Mon Jun 26 19:21:07 2023 -0700
committer Copybara-Service <copybara-worker@google.com> Mon Jun 26 19:22:02 2023 -0700
tree 6974407e7019698747de9faa98ea3757349adfe6
parent 3e1289b83e0a06e875e4b68e08c0abfd4d023991

Integrate LLVM at llvm/llvm-project@d54bd7aced8b

Updates LLVM usage to match
[d54bd7aced8b](https://github.com/llvm/llvm-project/commit/d54bd7aced8b)

PiperOrigin-RevId: 543606213

nullability/inference/resolve_constraints.cc

diff --git a/nullability/inference/resolve_constraints.cc b/nullability/inference/resolve_constraints.cc
index 56c357c..1dc28b4 100644
--- a/nullability/inference/resolve_constraints.cc
+++ b/nullability/inference/resolve_constraints.cc
@@ -16,14 +16,18 @@
 bool isSatisfiable(
     const llvm::DenseSet<clang::dataflow::BoolValue*>& ConstraintSet) {
   clang::dataflow::WatchedLiteralsSolver Solver;
-  return Solver.solve(ConstraintSet).getStatus() ==
+  std::vector<clang::dataflow::BoolValue*> Vec(ConstraintSet.begin(),
+                                               ConstraintSet.end());
+  return Solver.solve(Vec).getStatus() ==
          clang::dataflow::Solver::Result::Status::Satisfiable;
 }
 
 bool isUnsatisfiable(
     const llvm::DenseSet<clang::dataflow::BoolValue*>& ConstraintSet) {
   clang::dataflow::WatchedLiteralsSolver Solver;
-  return Solver.solve(ConstraintSet).getStatus() ==
+  std::vector<clang::dataflow::BoolValue*> Vec(ConstraintSet.begin(),
+                                               ConstraintSet.end());
+  return Solver.solve(Vec).getStatus() ==
          clang::dataflow::Solver::Result::Status::Unsatisfiable;
 }
 }  // namespace