[klee] r146510 - /klee/trunk/lib/Solver/STPBuilder.h

[Peter Collingbourne]

Author: pcc
Date: Tue Dec 13 14:21:56 2011
New Revision: 146510

URL: http://llvm.org/viewvc/llvm-project?rev=146510&view=rev
Log:
Fix STPBuilder::getShiftBits for non-power-of-2 bitwidths up to 64.

(Yes, we should really be handling more bitwidths here.)

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

Modified: klee/trunk/lib/Solver/STPBuilder.h
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/lib/Solver/STPBuilder.h?rev=146510&r1=146509&r2=146510&view=diff
==============================================================================
--- klee/trunk/lib/Solver/STPBuilder.h (original)
+++ klee/trunk/lib/Solver/STPBuilder.h Tue Dec 13 14:21:56 2011
@@ -73,7 +73,7 @@
 
 private:
   unsigned getShiftBits(unsigned amount) {
-    return (amount == 64) ? 6 : 5;
+    return (amount > 32) ? 6 : 5;
   }
 
   ExprHandle bvOne(unsigned width);