[clang] [clang][dataflow] Check for backedges directly (instead of loop statements). (PR #68923)
via cfe-commits
cfe-commits at lists.llvm.org
Thu Oct 12 12:53:18 PDT 2023
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 50ece4cba949787241b5fbfc94be6cfdc66e90ee da8cacb47b8f80f7ecb1e86f98683be6c54b4e57 -- clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp clang/unittests/Analysis/FlowSensitive/TransferTest.cpp clang/unittests/Analysis/FlowSensitive/TypeErasedDataflowAnalysisTest.cpp
``````````
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp b/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
index c635edd12219..d96ad66dd674 100644
--- a/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
+++ b/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
@@ -53,7 +53,7 @@ static int blockIndexInPredecessor(const CFGBlock &Pred,
}
static bool isBackedgeNode(const CFGBlock &B) {
- return B.getLoopTarget() != nullptr;
+ return B.getLoopTarget() != nullptr;
}
namespace {
@@ -494,7 +494,6 @@ runTypeErasedDataflowAnalysis(
PostOrderCFGView POV(&CFG);
ForwardDataflowWorklist Worklist(CFG, &POV);
-
std::vector<std::optional<TypeErasedDataflowAnalysisState>> BlockStates(
CFG.size());
``````````
</details>
https://github.com/llvm/llvm-project/pull/68923
More information about the cfe-commits
mailing list