From 7ed80e72441da43d4dafbf052564fefbe97b2595 Mon Sep 17 00:00:00 2001
From: Nathaniel Filardo <nwf20@cl.cam.ac.uk>
Date: Mon, 25 Nov 2019 14:50:33 +0000
Subject: [PATCH] Report error on pagemap ABI mismatch

---
 src/mem/chunkmap.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/mem/chunkmap.h b/src/mem/chunkmap.h
index b2f867d..5306fea 100644
--- a/src/mem/chunkmap.h
+++ b/src/mem/chunkmap.h
@@ -94,8 +94,10 @@ namespace snmalloc
       const snmalloc::PagemapConfig* c;
       external_pagemap =
         ChunkmapPagemap::cast_to_pagemap(snmalloc_pagemap_global_get(&c), c);
-      // FIXME: Report an error somehow in non-debug builds.
-      assert(external_pagemap);
+      if (!external_pagemap)
+      {
+        Pal::error("Incorrect ABI of global pagemap.");
+      }
     }
 
     /**