[klee-commits] [1489] fixed an operator precedence bug

[sbkim at stanford.edu]

Revision: 1489
          http://keeda.stanford.edu/viewvc/viewvc.cgi?view=rev&revision=1489
Author:   sbkim
Date:     2009-03-06 14:57:16 -0800 (Fri, 06 Mar 2009)
Log Message:
-----------
fixed an operator precedence bug

Modified Paths:
--------------
    stp/AST/AST.cpp

Modified: stp/AST/AST.cpp
===================================================================
--- stp/AST/AST.cpp	2009-03-03 23:53:28 UTC (rev 1488)
+++ stp/AST/AST.cpp	2009-03-06 22:57:16 UTC (rev 1489)
@@ -766,7 +766,7 @@
     //number of bits in unsigned long. The variable "copied" keeps
     //track of the number of chunks copied so far
 
-    while(copied + sizeof(unsigned long)<<3 < width){
+    while(copied + (sizeof(unsigned long)<<3) < width){
       CONSTANTBV::BitVector_Chunk_Store(bv, sizeof(unsigned long)<<3,copied,c_val);
       bvconst = bvconst >> (sizeof(unsigned long) << 3);
       c_val = (0x00000000ffffffffLL) & bvconst;
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20090306/0f171028/attachment.html