diff options
author | Samira Bazuzi <bazuzi@google.com> | 2023-05-02 00:08:30 +0000 |
---|---|---|
committer | Yitzhak Mandelbaum <yitzhakm@google.com> | 2023-05-02 11:32:19 +0000 |
commit | 2cdb6b84c157b5fe9c1e3540e7362beef2a7d8e6 (patch) | |
tree | 9428bdc7f418747700946b3c58361eef61af215c /clang/unittests | |
parent | 084ca632ac81437e5517ae5933b22d2b8e9a2bcd (diff) | |
download | llvm-2cdb6b84c157b5fe9c1e3540e7362beef2a7d8e6.tar.gz |
[clang][dataflow] Expose DataflowAnalysisContext from DataflowEnvironment.
This will eliminate the need for more pass-through APIs. Also replace pass-through usages with this exposure.
Reviewed By: ymandel, gribozavr2, xazax.hun
Differential Revision: https://reviews.llvm.org/D149464
Diffstat (limited to 'clang/unittests')
-rw-r--r-- | clang/unittests/Analysis/FlowSensitive/LoggerTest.cpp | 10 | ||||
-rw-r--r-- | clang/unittests/Analysis/FlowSensitive/TransferTest.cpp | 7 |
2 files changed, 10 insertions, 7 deletions
diff --git a/clang/unittests/Analysis/FlowSensitive/LoggerTest.cpp b/clang/unittests/Analysis/FlowSensitive/LoggerTest.cpp index 7ba19b86dd10..7201771e0b11 100644 --- a/clang/unittests/Analysis/FlowSensitive/LoggerTest.cpp +++ b/clang/unittests/Analysis/FlowSensitive/LoggerTest.cpp @@ -37,14 +37,16 @@ public: static TestLattice initialElement() { return TestLattice{}; } void transfer(const CFGElement &, TestLattice &L, Environment &E) { - E.logger().log([](llvm::raw_ostream &OS) { OS << "transfer()"; }); + E.getDataflowAnalysisContext().getOptions().Log->log( + [](llvm::raw_ostream &OS) { OS << "transfer()"; }); ++L.Elements; } void transferBranch(bool Branch, const Stmt *S, TestLattice &L, Environment &E) { - E.logger().log([&](llvm::raw_ostream &OS) { - OS << "transferBranch(" << Branch << ")"; - }); + E.getDataflowAnalysisContext().getOptions().Log->log( + [&](llvm::raw_ostream &OS) { + OS << "transferBranch(" << Branch << ")"; + }); ++L.Branches; } }; diff --git a/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp b/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp index 1589067a81c7..750d095af451 100644 --- a/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp +++ b/clang/unittests/Analysis/FlowSensitive/TransferTest.cpp @@ -53,9 +53,10 @@ void runDataflow(llvm::StringRef Code, Matcher Match, [UseBuiltinModel = Options.BuiltinOpts.has_value()](ASTContext &C, Environment &Env) { return NoopAnalysis( - C, DataflowAnalysisOptions{UseBuiltinModel - ? Env.getAnalysisOptions() - : std::optional<BuiltinOptions>()}); + C, + DataflowAnalysisOptions{ + UseBuiltinModel ? Env.getDataflowAnalysisContext().getOptions() + : std::optional<BuiltinOptions>()}); }); AI.ASTBuildArgs = ASTBuildArgs; if (Options.BuiltinOpts) |