[all-commits] [llvm/llvm-project] 3b29b8: Expose DataflowAnalysisContext.querySolver().

[Samira Bazuzi via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3b29b8a2aba205b59163ba11c537fbfe25133181
      https://github.com/llvm/llvm-project/commit/3b29b8a2aba205b59163ba11c537fbfe25133181
  Author: Samira Bazuzi <bazuzi at google.com>
  Date:   2023-07-01 (Sat, 01 Jul 2023)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h

  Log Message:
  -----------
  Expose DataflowAnalysisContext.querySolver().

This allows for use of the same solver used by the DAC for additional solving post-analysis and thus shared use of MaxIterations in WatchedLiteralsSolver.

Reviewed By: ymandel, gribozavr2, sammccall

Differential Revision: https://reviews.llvm.org/D153805