Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 18bf6b090ff67c1c16d4c8515e956f607ed093a0..d48196f7d6d0f0b340966adb28b26637ceeeb8d7 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -254,13 +254,6 @@ class OS { |
// Get the Alignment guaranteed by Allocate(). |
static size_t AllocateAlignment(); |
- // Returns an indication of whether a pointer is in a space that |
- // has been allocated by Allocate(). This method may conservatively |
- // always return false, but giving more accurate information may |
- // improve the robustness of the stack dump code in the presence of |
- // heap corruption. |
- static bool IsOutsideAllocatedSpace(void* pointer); |
- |
// Sleep for a number of milliseconds. |
static void Sleep(const int milliseconds); |