[llvm-branch-commits] [clang] [LifetimeSafety] Add expired loans analysis (PR #148222)
via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Fri Jul 11 04:17:25 PDT 2025
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 HEAD~1 HEAD --extensions cpp -- clang/lib/Analysis/LifetimeSafety.cpp
``````````
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/clang/lib/Analysis/LifetimeSafety.cpp b/clang/lib/Analysis/LifetimeSafety.cpp
index 88ec70d00..d95ffcca7 100644
--- a/clang/lib/Analysis/LifetimeSafety.cpp
+++ b/clang/lib/Analysis/LifetimeSafety.cpp
@@ -783,7 +783,7 @@ public:
/// Computes the exit state of a block by applying all its facts sequentially
/// to a given entry state.
ExpiredLattice transferBlock(const CFGBlock *Block,
- ExpiredLattice EntryState) {
+ ExpiredLattice EntryState) {
ExpiredLattice BlockState = EntryState;
llvm::ArrayRef<const Fact *> Facts = AllFacts.getFacts(Block);
@@ -833,8 +833,8 @@ public:
for (const CFGBlock *Successor : B->succs()) {
auto SuccIt = BlockEntryStates.find(Successor);
ExpiredLattice OldSuccEntryState = (SuccIt != BlockEntryStates.end())
- ? SuccIt->second
- : ExpiredLattice{};
+ ? SuccIt->second
+ : ExpiredLattice{};
ExpiredLattice NewSuccEntryState =
OldSuccEntryState.join(ExitState, SetFactory);
if (SuccIt == BlockEntryStates.end() ||
``````````
</details>
https://github.com/llvm/llvm-project/pull/148222
More information about the llvm-branch-commits
mailing list