================
@@ -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 true if the lifetime of a region has ended.
+bool isDeallocated(ProgramStateRef State, const MemRegion *Region);
+
+/// Returns the set of lifetime sources bound to \p Source that are dangling
+/// stack regions.
+const std::vector<const MemRegion *>
----------------
Xazax-hun wrote:Nit: const on return type does not do anything. https://github.com/llvm/llvm-project/pull/205951 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
