From f07d58f7b57859938fb0a870f625e639e3edb385 Mon Sep 17 00:00:00 2001 From: Yong Zhou Date: Mon, 7 Jul 2025 18:20:02 +0800 Subject: [PATCH] Update Verify Issue: https://gitee.com/openharmony/arkcompiler_ets_runtime/issues/ICKKX2 Change-Id: I5764d102588e07fc200253c7eef7a58baef2c82c Signed-off-by: Yong Zhou --- common_components/heap/verification.cpp | 9 --------- 1 file changed, 9 deletions(-) diff --git a/common_components/heap/verification.cpp b/common_components/heap/verification.cpp index 440ec9715e..6fbf6a0097 100755 --- a/common_components/heap/verification.cpp +++ b/common_components/heap/verification.cpp @@ -364,15 +364,6 @@ public: } else { refObj = field.GetTargetObject(); } - // If it is forwarded, its toVersion must have been traversed during - // EnumRoot, so it must have been marked. There is no need for me to - // check it, nor to push it into the mark stack. - if (refObj->IsForwarded()) { - auto toObj = refObj->GetForwardingPointer(); - bool find = markSet.find(toObj) != markSet.end(); - CHECKF(find) << "not found to version obj in markSet"; - return; - } visitor.VerifyRef(obj, field); -- Gitee