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

[Utkarsh Saxena via cfe-commits]

================
@@ -502,6 +502,12 @@ class FactGenerator : public ConstStmtVisitor<FactGenerator> {
 
 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
+/// executed.
+using ProgramPoint = std::pair<const CFGBlock *, const Fact *>;
----------------
usx95 wrote:

Hmm. Looks like an oversight. Thanks for spotting.

https://github.com/llvm/llvm-project/pull/149199