[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