From 181bbe96c46fc0ca5ce05ec050a7f48b885f85bb Mon Sep 17 00:00:00 2001 From: avpotapov00 Date: Tue, 23 Apr 2024 19:08:41 +0200 Subject: [PATCH] Object traverser fix (#313) Object traverser fix --- .../main/org/jetbrains/kotlinx/lincheck/ObjectTraverser.kt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/ObjectTraverser.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/ObjectTraverser.kt index f0aeeb2c9..d26b82a9a 100644 --- a/src/jvm/main/org/jetbrains/kotlinx/lincheck/ObjectTraverser.kt +++ b/src/jvm/main/org/jetbrains/kotlinx/lincheck/ObjectTraverser.kt @@ -90,10 +90,10 @@ private fun enumerateObjects(obj: Any, processedObjects: MutableSet, object } if (value is AtomicIntegerArray) { - value = (0..value.length()).map { (value as AtomicIntegerArray).get(it) }.toIntArray() + value = (0 until value.length()).map { (value as AtomicIntegerArray).get(it) }.toIntArray() } if (value is AtomicReferenceArray<*>) { - value = (0..value.length()).map { (value as AtomicReferenceArray<*>).get(it) }.toTypedArray() + value = (0 until value.length()).map { (value as AtomicReferenceArray<*>).get(it) }.toTypedArray() } if (value is AtomicReferenceFieldUpdater<*, *> || value is AtomicIntegerFieldUpdater<*> || value is AtomicLongFieldUpdater<*>) {