Add an assertion.

dealii · Sep 27, 2023 · ef53aa1 · ef53aa1
1 parent 368e863
commit ef53aa1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/source/base/index_set.cc b/source/base/index_set.cc
@@ -520,6 +520,10 @@ IndexSet::add_indices(const IndexSet &other, const size_type offset)
 bool
 IndexSet::is_subset_of(const IndexSet &other) const
 {
+  Assert(size() == other.size(),
+         ExcMessage("One index set can only be a subset of another if they "
+                    "describe index spaces of the same size."));
+
   // See whether there are indices in the current set that are not in 'other'.
   // If so, then this is clearly not a subset of 'other'.
   IndexSet A_minus_B = *this;