[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