From 893b6bbd36fe7b4befb4f754f79d78aa84406e10 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 11 Jul 2013 16:32:02 +0000 Subject: =?UTF-8?q?Bug=20fix=20by=20Jonathan=20Neusch=C3=A4fer:=20"Without?= =?UTF-8?q?=20this=20patch=20NotExpr::computeHash()=20will=20have=20a=20lo?= =?UTF-8?q?cal=20variable=20with=20the=20name=20"hashValue"=20and=20assign?= =?UTF-8?q?=20the=20newly=20computed=20hash=20to=20that=20instead=20of=20t?= =?UTF-8?q?he=20member=20variable=20with=20the=20same=20name=20that=20shou?= =?UTF-8?q?ld=20be=20set=20by=20the=20computeHash=20method=20of=20every=20?= =?UTF-8?q?Expr=20subclass."?= 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') 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 v1.2.3