================
@@ -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 *>;
----------------
Xazax-hun wrote:
Why do we need the CfgBlock? Wouldn't a fact alone be sufficient?
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
