From 893b6bbd36fe7b4befb4f754f79d78aa84406e10 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 11 Jul 2013 16:32:02 +0000 Subject: 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." MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186102 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Expr/Expr.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Expr') diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index d177eca6..1187573b 100644 --- a/lib/Expr/Expr.cpp +++ b/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; } -- cgit 1.4.1