summaryrefslogtreecommitdiff
path: root/clang/unittests
diff options
context:
space:
mode:
authorSamira Bazuzi <bazuzi@google.com>2023-05-02 00:08:30 +0000
committerYitzhak Mandelbaum <yitzhakm@google.com>2023-05-02 11:32:19 +0000
commit2cdb6b84c157b5fe9c1e3540e7362beef2a7d8e6 (patch)
tree9428bdc7f418747700946b3c58361eef61af215c /clang/unittests
parent084ca632ac81437e5517ae5933b22d2b8e9a2bcd (diff)
downloadllvm-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.cpp10
-rw-r--r--clang/unittests/Analysis/FlowSensitive/TransferTest.cpp7
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)