[klee] r128532 - /klee/trunk/lib/Solver/STPBuilder.cpp

[Cristian Cadar]

Author: cristic
Date: Wed Mar 30 06:08:09 2011
New Revision: 128532

URL: http://llvm.org/viewvc/llvm-project?rev=128532&view=rev
Log:
Bug fix in STPBuilder.  Patch submitted by David Ramos, thanks!

Modified:
    klee/trunk/lib/Solver/STPBuilder.cpp

Modified: klee/trunk/lib/Solver/STPBuilder.cpp
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Solver/STPBuilder.cpp?rev=128532&r1=128531&r2=128532&view=diff
==============================================================================
--- klee/trunk/lib/Solver/STPBuilder.cpp (original)
+++ klee/trunk/lib/Solver/STPBuilder.cpp Wed Mar 30 06:08:09 2011
@@ -528,7 +528,7 @@
     ExprHandle src = construct(ee->expr, width_out);    
     *width_out = ee->getWidth();
     if (*width_out==1) {
-      return bvBoolExtract(src, 0);
+      return bvBoolExtract(src, ee->offset);
     } else {
       return vc_bvExtract(vc, src, ee->offset + *width_out - 1, ee->offset);
     }