Add debug-dot visualization for LifetimeConstraints.
PiperOrigin-RevId: 471752987
diff --git a/lifetime_analysis/lifetime_constraints.h b/lifetime_analysis/lifetime_constraints.h
index 70ea271..62d5f87 100644
--- a/lifetime_analysis/lifetime_constraints.h
+++ b/lifetime_analysis/lifetime_constraints.h
@@ -35,6 +35,11 @@
return outlives_constraints_ == other.outlives_constraints_;
}
+ // Accessor for debug purposes.
+ const llvm::DenseSet<std::pair<Lifetime, Lifetime>>& AllConstraints() const {
+ return outlives_constraints_;
+ }
+
private:
// Constraints of the form p.first <= p.second
llvm::DenseSet<std::pair<Lifetime, Lifetime>> outlives_constraints_;