From 928b92a428c5e9fe9d56ddf0f275a88bba81c288 Mon Sep 17 00:00:00 2001 From: "Jeremy G. Siek" Date: Wed, 21 Apr 2021 19:11:13 -0400 Subject: [PATCH] a raw access to the heap field slipped through somehow, fixing that (#483) --- executable_semantics/interpreter/value.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/executable_semantics/interpreter/value.cpp b/executable_semantics/interpreter/value.cpp index f915293dd4f6..0d135e0ec7fb 100644 --- a/executable_semantics/interpreter/value.cpp +++ b/executable_semantics/interpreter/value.cpp @@ -375,8 +375,8 @@ static auto FieldsValueEqual(VarAddresses* ts1, VarAddresses* ts2, int line_num) if (iter == ts2->end()) { return false; } - if (!ValueEqual(state->heap[address], state->heap[iter->second], - line_num)) { + if (!ValueEqual(state->ReadFromMemory(address, line_num), + state->ReadFromMemory(iter->second, line_num), line_num)) { return false; } }