Add LifetimeConstraints to the lattice.
First step of a UnifyLifetimes -> constraint system migration for inference.
PiperOrigin-RevId: 465551174
diff --git a/lifetime_analysis/lifetime_constraints.cc b/lifetime_analysis/lifetime_constraints.cc
new file mode 100644
index 0000000..fe0e00e
--- /dev/null
+++ b/lifetime_analysis/lifetime_constraints.cc
@@ -0,0 +1,23 @@
+// Part of the Crubit project, under the Apache License v2.0 with LLVM
+// Exceptions. See /LICENSE for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+#include "lifetime_analysis/lifetime_constraints.h"
+
+namespace clang {
+namespace tidy {
+namespace lifetimes {
+
+clang::dataflow::LatticeJoinEffect LifetimeConstraints::join(
+ const LifetimeConstraints& other) {
+ bool changed = false;
+ for (auto p : other.outlives_constraints_) {
+ changed |= outlives_constraints_.insert(p).second;
+ }
+ return changed ? clang::dataflow::LatticeJoinEffect::Changed
+ : clang::dataflow::LatticeJoinEffect::Unchanged;
+}
+
+} // namespace lifetimes
+} // namespace tidy
+} // namespace clang
