[clang] Introduce intra-procedural lifetime analysis in Clang (PR #142313)
Gábor Horváth via cfe-commits
cfe-commits at lists.llvm.org
Tue Jun 10 05:28:47 PDT 2025
================
@@ -0,0 +1,728 @@
+#include "clang/Analysis/Analyses/LifetimeSafety.h"
+#include "clang/AST/Decl.h"
+#include "clang/AST/Expr.h"
+#include "clang/AST/StmtVisitor.h"
+#include "clang/AST/Type.h"
+#include "clang/Analysis/AnalysisDeclContext.h"
+#include "clang/Analysis/CFG.h"
+#include "clang/Analysis/FlowSensitive/DataflowWorklist.h"
+#include "llvm/ADT/ImmutableMap.h"
+#include "llvm/ADT/ImmutableSet.h"
+#include "llvm/ADT/PointerUnion.h"
+#include "llvm/ADT/SmallVector.h"
+#include "llvm/Support/Debug.h"
+#include "llvm/Support/TimeProfiler.h"
+#include <vector>
+
+namespace clang {
+namespace {
+
+struct Point {
----------------
Xazax-hun wrote:
Nit: I wonder if `Point` is self-descriptive enough or whether this should be `ProgramPoint`. Does not have a strong feeling.
https://github.com/llvm/llvm-project/pull/142313
More information about the cfe-commits
mailing list