expand comment

WebAssembly · Oct 30, 2023 · 8efecb1 · 8efecb1
1 parent 19f55c3
commit 8efecb1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/analysis/lattices/vector.h b/src/analysis/lattices/vector.h
@@ -47,7 +47,8 @@ template<Lattice L> struct Vector {
     return Element(size, lattice.getTop());
   }
 
-  // `a` <= `b` if their elements are pairwise <=, etc.
+  // `a` <= `b` if 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 {
     assert(a.size() == size);
     assert(b.size() == size);