expand comment

tlively · tlively · commit 860194173d64 · 2023-10-30T13:31:38.000-07:00
diff --git a/src/analysis/lattices/array.h b/src/analysis/lattices/array.h
@@ -60,7 +60,8 @@ template<Lattice L, size_t N> struct Array {
     return getTopImpl(std::make_index_sequence<N>());
   }
 
-  // `a` <= `b` if their elements are pairwise <=, etc.
+  // `a` <= `b` if all their elements are pairwise <=, etc. Unless we determine
+  // that there is no relation, we must check all the elements.
   LatticeComparison compare(const Element& a, const Element& b) const noexcept {
     auto result = EQUAL;
     for (size_t i = 0; i < N; ++i) {

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,8 @@ template<Lattice L, size_t N> struct Array {`
`60`	`60`	`return getTopImpl(std::make_index_sequence<N>());`
`61`	`61`	`}`
`62`	`62`
`63`		- // `a` <= `b` if their elements are pairwise <=, etc.
	`63`	+ // `a` <= `b` if all their elements are pairwise <=, etc. Unless we determine
	`64`	`+ // that there is no relation, we must check all the elements.`
`64`	`65`	`LatticeComparison compare(const Element& a, const Element& b) const noexcept {`
`65`	`66`	`auto result = EQUAL;`
`66`	`67`	`for (size_t i = 0; i < N; ++i) {`