From 8e62069f6298f517f97a333bdc3a7b1c50adad64 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Fri, 26 Jun 2009 06:17:51 +0000 Subject: More large integer support. - Allow constructing a ConstantExpr from an APInt, too painful otherwise. - Parser support for large integers. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74278 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Solver/STPBuilder.cpp | 1 - 1 file changed, 1 deletion(-) (limited to 'lib/Solver') diff --git a/lib/Solver/STPBuilder.cpp b/lib/Solver/STPBuilder.cpp index 2e313fb0..65ef24d1 100644 --- a/lib/Solver/STPBuilder.cpp +++ b/lib/Solver/STPBuilder.cpp @@ -479,7 +479,6 @@ ExprHandle STPBuilder::constructActual(ref e, int *width_out) { return bvConst64(*width_out, CE->getZExtValue()); // FIXME: Optimize? - assert(0 && "FIXME: Not tested!"); ref Tmp = CE; ExprHandle Res = bvConst64(64, Tmp->Extract(0, 64)->getZExtValue()); for (unsigned i = (*width_out / 64) - 1; i; --i) { -- cgit 1.4.1