[llvm-branch-commits] [clang] [LifetimeSafety] Support container interior paths and invalidations (PR #207523)
via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Sat Jul 4 14:54:00 PDT 2026
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 origin/main HEAD --extensions h,cpp -- clang/lib/Analysis/LifetimeSafety/Checker.cpp clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp clang/test/Sema/LifetimeSafety/Inputs/lifetime-analysis.h clang/test/Sema/LifetimeSafety/invalidations.cpp clang/unittests/Analysis/LifetimeSafetyTest.cpp --diff_from_common_commit
``````````
:warning:
The reproduction instructions above might return results for more than one PR
in a stack if you are using a stacked PR workflow. You can limit the results by
changing `origin/main` to the base branch/commit you want to compare against.
:warning:
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp b/clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp
index 32c729745..9fd0523fd 100644
--- a/clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp
+++ b/clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp
@@ -1162,7 +1162,8 @@ void FactsGenerator::handleFunctionCall(const Expr *Call,
// GSL construction creates a view that borrows from arguments.
// Only flow the outer origin because inner lengths may mismatch.
CurrentBlockFacts.push_back(FactMgr.createFact<OriginFlowFact>(
- CallList->getOuterOriginID(), ArgList->getOuterOriginID(), KillSrc));
+ CallList->getOuterOriginID(), ArgList->getOuterOriginID(),
+ KillSrc));
CurrentBlockFacts.push_back(FactMgr.createFact<ProjectionFact>(
CallList->getOuterOriginID(), PathElement::getInterior()));
KillSrc = false;
``````````
</details>
https://github.com/llvm/llvm-project/pull/207523
More information about the llvm-branch-commits
mailing list