projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be2dd22) | patch
Expose DataflowAnalysisContext.querySolver().
authorSamira Bazuzi <bazuzi@google.com>
Fri, 30 Jun 2023 21:40:03 +0000 (23:40 +0200)
committerDmitri Gribenko <gribozavr@gmail.com>
Fri, 30 Jun 2023 22:15:45 +0000 (00:15 +0200)
commit3b29b8a2aba205b59163ba11c537fbfe25133181
tree5f37a78aaf84b97cf32a82c4d20f7aa5fd805042tree | snapshot
parentbe2dd22b8f47e6f0e56063910cf7cd37482960cccommit | diff
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
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h diff | blob | history
Domain: System / Toolchain;