================ @@ -209,6 +221,9 @@ class DataflowAnalysisContext { using DenseMapInfo::isEqual; }; + DataflowAnalysisContext(Solver &S, std::unique_ptr<Solver> OwnedSolver, ---------------- martinboehme wrote: Done. https://github.com/llvm/llvm-project/pull/91316