From 953406f12835297723916fb7302ecf2c0ced2393 Mon Sep 17 00:00:00 2001
From: Romain Malmain <romain.malmain@pm.me>
Date: Mon, 30 Oct 2023 19:16:34 +0100
Subject: [PATCH] Return immediately if the RAM Block is not found in release
 mode.

---
 libafl_extras/syx-snapshot/syx-snapshot.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/libafl_extras/syx-snapshot/syx-snapshot.c b/libafl_extras/syx-snapshot/syx-snapshot.c
index 5a314a50b4..ca11500944 100644
--- a/libafl_extras/syx-snapshot/syx-snapshot.c
+++ b/libafl_extras/syx-snapshot/syx-snapshot.c
@@ -395,6 +395,10 @@ void syx_snapshot_dirty_list_add_hostaddr(void* host_addr) {
 
 #ifdef CONFIG_DEBUG_TCG
     assert(rb);
+#else
+    if (!rb) {
+        return;
+    }
 #endif
     
     hwaddr paddr = rb->mr->addr + offset;