[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