[clang] [analyzer] Implement LifetimeModeling checker and refactor UseAfterLifetimeEnd (PR #205951)

Benedek Kaibas via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 7 08:33:46 PDT 2026


================
@@ -1581,10 +1587,10 @@ def CheckerDocumentationChecker : Checker<"CheckerDocumentation">,
   HelpText<"Defines an empty checker callback for all possible handlers.">,
   Documentation<NotDocumented>;
 
-def DebugUseAfterLifetimeEnd : Checker<"DebugUseAfterLifetimeEnd">,
-  HelpText<"Prints the bindings recorded by the UseAfterLifetimeEnd checker. "
+def DebugLifetimeModeling : Checker<"DebugLifetimeModeling">,
+  HelpText<"Prints the bindings recorded by the LifetimeModeling checker. "
----------------
benedekaibas wrote:

Applied changes here: [3a16279](https://github.com/llvm/llvm-project/pull/205951/commits/3a162799157deab6e7a879bb33766cf61a294514)

I have changed the `HelpText` to `Dump the set of regions the bound variable originates from` since it more accurately explains the intention of the checker.

https://github.com/llvm/llvm-project/pull/205951


More information about the cfe-commits mailing list