[clang] [llvm] [LifetimeSafety] Implement a basic use-after-free diagnostic (PR #149731)
via llvm-commits
llvm-commits at lists.llvm.org
Fri Jul 25 10:02:26 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 h,cpp -- clang/test/Sema/warn-lifetime-safety.cpp clang/include/clang/Analysis/Analyses/LifetimeSafety.h clang/lib/Analysis/LifetimeSafety.cpp clang/lib/Sema/AnalysisBasedWarnings.cpp clang/unittests/Analysis/LifetimeSafetyTest.cpp
``````````
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/clang/lib/Sema/AnalysisBasedWarnings.cpp b/clang/lib/Sema/AnalysisBasedWarnings.cpp
index 123533f6b..d3964ea52 100644
--- a/clang/lib/Sema/AnalysisBasedWarnings.cpp
+++ b/clang/lib/Sema/AnalysisBasedWarnings.cpp
@@ -2787,8 +2787,7 @@ public:
LifetimeSafetyReporterImpl(Sema &S) : S(S) {}
void reportUseAfterFree(const Expr *IssueExpr, const Expr *UseExpr,
- SourceLocation FreeLoc,
- Confidence C) override {
+ SourceLocation FreeLoc, Confidence C) override {
S.Diag(IssueExpr->getExprLoc(),
C == Confidence::Definite
? diag::warn_lifetime_safety_loan_expires_permissive
``````````
</details>
https://github.com/llvm/llvm-project/pull/149731
More information about the llvm-commits
mailing list