Merge pull request #628 from jneira/empty-buffer

add null pointer case
typelead · Jan 30, 2018 · aefdb1a · aefdb1a
2 parents 69df80d + 1ded0b0
commit aefdb1a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/rts/src/main/java/eta/runtime/io/MemoryManager.java b/rts/src/main/java/eta/runtime/io/MemoryManager.java
@@ -39,6 +39,9 @@ public class MemoryManager {
                         MANAGED_HEAP_BLOCK_SIZE,
                         MANAGED_HEAP_MINIBLOCK_SIZE);
 
+    /* The shared empty buffer */
+    private final static ByteBuffer emptyBuffer = ByteBuffer.allocate(0);
+
     public static ManagedHeap getHeap() {
         return globalManagedHeap;
     }
@@ -102,6 +105,8 @@ private static Block getBlockSlow(long address) {
 
        Throws an exception  if the block that corresponds to the address has been freed. */
     public static ByteBuffer getBoundedBuffer(long address) {
+        if (address == 0)
+            return emptyBuffer;
         return getBlock(address).getBoundedBuffer(address);
     }