From a787fc2aee9ced9478bc2a1bdd5336f6aa38b8bb Mon Sep 17 00:00:00 2001 From: Andrea Mattavelli Date: Mon, 13 Feb 2017 11:10:14 +0000 Subject: Fixed assertion invocation: We were invoking bits64::truncateToNBits with a width greater than 64 --- include/klee/Expr.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'include') 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 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); } -- cgit 1.4.1