Assert that hole elements are empty after fillHoles.

Author: woess

graal-js/src/com.oracle.truffle.js/src/com/oracle/truffle/js/runtime/array/dyn/AbstractJSObjectArray.java

@@ -140,6 +140,7 @@ protected final void fillHoles(JSDynamicObject object, int internalIndex, int gr
         if (grown != 0) {
             incrementHolesCount(object, Math.abs(grown) - 1);
         }
+        assert checkFillHoles(object, internalIndex, grown);
     }
 
     @Override

graal-js/src/com.oracle.truffle.js/src/com/oracle/truffle/js/runtime/array/dyn/AbstractObjectArray.java

@@ -142,6 +142,7 @@ protected final void fillHoles(JSDynamicObject object, int internalIndex, int gr
         if (grown != 0) {
             incrementHolesCount(object, Math.abs(grown) - 1);
         }
+        assert checkFillHoles(object, internalIndex, grown);
     }
 
     @Override

graal-js/src/com.oracle.truffle.js/src/com/oracle/truffle/js/runtime/array/dyn/AbstractWritableArray.java

@@ -349,6 +349,27 @@ protected void fillHoles(JSDynamicObject object, int internalIndex, int grown, P
         }
     }
 
+    protected final boolean checkFillHoles(JSDynamicObject object, int internalIndex, int grown) {
+        int start;
+        int end;
+        if (grown > 1) {
+            start = internalIndex - grown + 1;
+            end = internalIndex;
+        } else if (grown < -1) {
+            start = internalIndex + 1;
+            end = internalIndex - grown;
+        } else {
+            return true;
+        }
+
+        for (int i = start; i < end; i++) {
+            if (!isHolePrepared(object, i)) {
+                return false;
+            }
+        }
+        return true;
+    }
+
     public abstract AbstractWritableArray toDouble(JSDynamicObject object, long index, double value);
 
     public abstract AbstractWritableArray toObject(JSDynamicObject object, long index, Object value);