[clang] [dataflow] CXXForRangeStmt should extend flow condition (PR #80989)
via cfe-commits
cfe-commits at lists.llvm.org
Mon Mar 18 08:38:31 PDT 2024
github-actions[bot] wrote:
<!--LLVM CODE FORMAT COMMENT: {clang-format}-->
:warning: C/C++ code formatter, clang-format found issues in your code. :warning:
<details>
<summary>
You can test this locally with the following command:
</summary>
``````````bash
git-clang-format --diff 1b87ebce924e507cbc27c2e0dc623941d16388c9 9cbe0ef60f0154cbbefaa7d3092d65e4a4ab4d2a -- clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp
``````````
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp b/clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp
index b940fb8767..cd6d23c9c4 100644
--- a/clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp
+++ b/clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp
@@ -1722,13 +1722,15 @@ TEST_F(TopTest, ForRangeStmtHasFlowCondition) {
}
}
)";
- runDataflow(Code,
- [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
- const AnalysisOutputs &AO) {
- ASSERT_THAT(Results.keys(), UnorderedElementsAre("p1"));
- const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1");
- ASSERT_TRUE(Env1.proves(Env1.arena().makeAtomRef(Env1.getFlowConditionToken())));
- });
+ runDataflow(
+ Code,
+ [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
+ const AnalysisOutputs &AO) {
+ ASSERT_THAT(Results.keys(), UnorderedElementsAre("p1"));
+ const Environment &Env1 = getEnvironmentAtAnnotation(Results, "p1");
+ ASSERT_TRUE(Env1.proves(
+ Env1.arena().makeAtomRef(Env1.getFlowConditionToken())));
+ });
}
} // namespace
``````````
</details>
https://github.com/llvm/llvm-project/pull/80989
More information about the cfe-commits
mailing list