From c4806b9f06b7e345e2ba36d1123c589d18976d57 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Wed, 3 Jun 2009 03:15:59 +0000 Subject: Fix bug I just introduced, ConstantExpr::computeHash needs to update the hashValue. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72752 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Expr/Expr.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lib/Expr/Expr.cpp') diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index e8024fc9..6e70e6f2 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -165,7 +165,8 @@ unsigned Expr::computeHash() { } unsigned ConstantExpr::computeHash() { - return asUInt64 ^ (width * MAGIC_HASH_CONSTANT); + hashValue = asUInt64 ^ (width * MAGIC_HASH_CONSTANT); + return hashValue; } unsigned CastExpr::computeHash() { -- cgit 1.4.1