add assertion

AliveToolkit · Oct 31, 2024 · 59cafed · 59cafed
1 parent 2a95c52
commit 59cafed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/smt/expr.cpp b/smt/expr.cpp
@@ -1860,6 +1860,7 @@ expr expr::extract(unsigned high, unsigned low, unsigned depth) const {
     if (isAShr(a, b)) {
       uint64_t shift;
       if (b.isUInt(shift) && high + shift < a.bits()) {
+        assert(shift < a.bits());
         return a.extract(high + shift, low + shift);
       }
     }