Index: runtime/vm/virtual_memory_linux.cc |
diff --git a/runtime/vm/virtual_memory_linux.cc b/runtime/vm/virtual_memory_linux.cc |
index 26e38c778f7ec154ab9d20684354a78802189115..016f35c0238bb1f12d9340be97a933ca8f2b265e 100644 |
--- a/runtime/vm/virtual_memory_linux.cc |
+++ b/runtime/vm/virtual_memory_linux.cc |
@@ -52,7 +52,9 @@ static void unmap(void* address, intptr_t size) { |
VirtualMemory::~VirtualMemory() { |
- unmap(address(), reserved_size_); |
+ if (!dummy()) { |
+ unmap(address(), reserved_size_); |
+ } |
} |