handle #3520

src/Neo.VM/EvaluationStack.cs

@@ -107,11 +107,12 @@ public StackItem Peek(int index = 0)
         /// Pushes an item onto the top of the stack.
         /// </summary>
         /// <param name="item">The item to be pushed.</param>
+        /// <param name="count">Stack reference count addition. For OpCodes loading from slot to evaluation stack, it can be 0.</param>
         [MethodImpl(MethodImplOptions.AggressiveInlining)]
-        public void Push(StackItem item)
+        public void Push(StackItem item, int count = 1)
         {
             innerList.Add(item);
-            referenceCounter.AddStackReference(item);
+            referenceCounter.AddStackReference(item, count: count);
         }
 
         [MethodImpl(MethodImplOptions.AggressiveInlining)]

src/Neo.VM/ExecutionEngine.cs

@@ -302,10 +302,11 @@ protected virtual void PreExecuteInstruction(Instruction instruction) { }
         /// Pushes an item onto the top of the current stack.
         /// </summary>
         /// <param name="item">The item to be pushed.</param>
+        /// <param name="count">Stack reference count addition. For OpCodes loading from slot to evaluation stack, it can be 0.</param>
         [MethodImpl(MethodImplOptions.AggressiveInlining)]
-        public void Push(StackItem item)
+        public void Push(StackItem item, int count = 1)
         {
-            CurrentContext!.EvaluationStack.Push(item);
+            CurrentContext!.EvaluationStack.Push(item, count: count);
         }
     }
 }

src/Neo.VM/JumpTable/JumpTable.Slot.cs

@@ -675,7 +675,7 @@ public virtual void ExecuteLoadFromSlot(ExecutionEngine engine, Slot? slot, int
                 throw new InvalidOperationException("Slot has not been initialized.");
             if (index < 0 || index >= slot.Count)
                 throw new InvalidOperationException($"Index out of range when loading from slot: {index}");
-            engine.Push(slot[index]);
+            engine.Push(slot[index], count: 0);
         }
 
         #endregion