Commit 4c060418 authored by Cristian Cadar's avatar Cristian Cadar Committed by Daniel Liew
Browse files

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."

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186102 91177308-0d34-0410-b5e6-96231b3b80d8
parent 39bfc329
......@@ -257,7 +257,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;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment