[clang] [analyzer] Implement BugReporterVisitor for UseAfterLifetimeEnd to trace lifetime source binding (PR #207052)
Benedek Kaibas via cfe-commits
cfe-commits at lists.llvm.org
Wed Jul 15 02:47:39 PDT 2026
================
@@ -0,0 +1,20 @@
+#ifndef LLVM_CLANG_INCLUDE_STATICANALYZER_CHECKERS_LIFETIMEMODELING_H
+#define LLVM_CLANG_INCLUDE_STATICANALYZER_CHECKERS_LIFETIMEMODELING_H
+
+#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"
+#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
+#include <vector>
+
+namespace clang::ento::lifetime_modeling {
+
+/// Returns the set of lifetime sources bound to \p Source that are dangling
+/// stack regions.
+const std::vector<const MemRegion *>
----------------
benedekaibas wrote:
This header got moved to `lib/StaticAnalyzer/Checkers` I forgot to remove it on this branch. Resolved here: [a761c5a](https://github.com/llvm/llvm-project/pull/207052/commits/a761c5ab469d8878cb93f7e9d064fc6256dca057)
https://github.com/llvm/llvm-project/pull/207052
More information about the cfe-commits
mailing list