diff options
| -rw-r--r-- | include/klee/Expr.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index 4584ab0d..6c5351df 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -1080,7 +1080,10 @@ public: } static ref<ConstantExpr> create(uint64_t v, Width w) { - assert(v == bits64::truncateToNBits(v, w) && "invalid constant"); +#ifndef NDEBUG + if (w <= 64) + assert(v == bits64::truncateToNBits(v, w) && "invalid constant"); +#endif return alloc(v, w); } |