[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-21 Thread Utkarsh Saxena via cfe-commits
usx95 wrote: ### Merge activity * **Jul 21, 9:57 PM UTC**: A user started a stack merge that includes this pull request via [Graphite](https://app.graphite.dev/github/pr/llvm/llvm-project/149199). https://github.com/llvm/llvm-project/pull/149199 __

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-17 Thread Gábor Horváth via cfe-commits
https://github.com/Xazax-hun approved this pull request. LG, thanks! https://github.com/llvm/llvm-project/pull/149199 ___ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-17 Thread Gábor Horváth via cfe-commits
@@ -524,14 +531,20 @@ template class DataflowAnalysis { public: using Lattice = LatticeType; - using Base = DataflowAnalysis; + using Base = DataflowAnalysis; private: const CFG &Cfg; AnalysisDeclContext ∾ + /// The dataflow state before a basic block is pro

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-17 Thread Gábor Horváth via cfe-commits
@@ -524,14 +531,20 @@ template class DataflowAnalysis { public: using Lattice = LatticeType; - using Base = DataflowAnalysis; + using Base = DataflowAnalysis; private: const CFG &Cfg; AnalysisDeclContext ∾ + /// The dataflow state before a basic block is pro

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-17 Thread Utkarsh Saxena via cfe-commits
@@ -502,6 +502,12 @@ class FactGenerator : public ConstStmtVisitor { enum class Direction { Forward, Backward }; +/// A program point is a pair of a CFGBlock and a Fact within that block. +/// +/// This is used to represent the state of the program *after* the Fact is +/// e

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-17 Thread Utkarsh Saxena via cfe-commits
https://github.com/usx95 updated https://github.com/llvm/llvm-project/pull/149199 >From 3e67c98b4a365948910a3da9ad5d56a6087a527a Mon Sep 17 00:00:00 2001 From: Utkarsh Saxena Date: Wed, 16 Jul 2025 21:57:03 + Subject: [PATCH] address comment --- clang/lib/Analysis/LifetimeSafety.cpp | 39

[clang] [LifetimeSafety] Add per-program-point lattice tracking (PR #149199)

2025-07-17 Thread Gábor Horváth via cfe-commits
@@ -502,6 +502,12 @@ class FactGenerator : public ConstStmtVisitor { enum class Direction { Forward, Backward }; +/// A program point is a pair of a CFGBlock and a Fact within that block. +/// +/// This is used to represent the state of the program *after* the Fact is +/// e