diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-07-11 16:32:02 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-07-11 16:32:02 +0000 |
commit | 4a3a71df968a20c9ea38b2c773fe40872e28611e (patch) | |
tree | 028b3f4446c819eff6ea5b5907b941cd5433dc60 /klee | |
parent | 46ba7fc2d0f3088d3c7014fe14ef5f463374e4eb (diff) |
Bug fix by Jonathan Neuschäfer: "Without this patch
NotExpr::computeHash() will have a local variable with the name
"hashValue" and assign the newly computed hash to that instead of the
member variable with the same name that should be set by the
computeHash method of every Expr subclass."
Diffstat (limited to 'klee')
-rw-r--r-- | klee/lib/Expr/Expr.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/klee/lib/Expr/Expr.cpp b/klee/lib/Expr/Expr.cpp index d177eca6dd6..1187573b3a7 100644 --- a/klee/lib/Expr/Expr.cpp +++ b/klee/lib/Expr/Expr.cpp @@ -206,7 +206,7 @@ unsigned ReadExpr::computeHash() { } unsigned NotExpr::computeHash() { - unsigned hashValue = expr->hash() * Expr::MAGIC_HASH_CONSTANT * Expr::Not; + hashValue = expr->hash() * Expr::MAGIC_HASH_CONSTANT * Expr::Not; return hashValue; } |