From bb623627db60fe710b89c7ffb5bd30505d124a6f Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Fri, 13 Jan 2017 17:54:27 +0100 Subject: [PATCH] Check that add_indices respects index_space_size --- source/base/index_set.cc | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/source/base/index_set.cc b/source/base/index_set.cc index c8efcf2489..d344745e6e 100644 --- a/source/base/index_set.cc +++ b/source/base/index_set.cc @@ -393,6 +393,11 @@ IndexSet::add_indices(const IndexSet &other, if ((this == &other) && (offset == 0)) return; + Assert (other.ranges.size() == 0 + || other.ranges.back().end-1 < index_space_size, + ExcIndexRangeType (other.ranges.back().end-1, + 0, index_space_size)); + compress(); other.compress(); -- 2.39.5