diff options
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/bitvector.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util/bitvector.cpp b/src/util/bitvector.cpp index 2d94be875..549c94dc9 100644 --- a/src/util/bitvector.cpp +++ b/src/util/bitvector.cpp @@ -90,6 +90,8 @@ BitVector BitVector::concat(const BitVector& other) const BitVector BitVector::extract(unsigned high, unsigned low) const { + CheckArgument(high < d_size, high); + CheckArgument(low <= high, low); return BitVector(high - low + 1, d_value.extractBitRange(high - low + 1, low)); } |