add assertion

nunoplopes · nunoplopes · commit 59cafed5b789 · 2024-10-31T11:40:15.000Z
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);
       }
     }

Original file line number	Diff line number	Diff line change
`@@ -1860,6 +1860,7 @@ expr expr::extract(unsigned high, unsigned low, unsigned depth) const {`
`1860`	`1860`	`if (isAShr(a, b)) {`
`1861`	`1861`	`uint64_t shift;`
`1862`	`1862`	`if (b.isUInt(shift) && high + shift < a.bits()) {`
	`1863`	`+ assert(shift < a.bits());`
`1863`	`1864`	`return a.extract(high + shift, low + shift);`
`1864`	`1865`	`}`
`1865`	`1866`	`}`