From d5f0efe9dee21fbef926c030320fd9cd30073091 Mon Sep 17 00:00:00 2001
From: Sergej Schumilo <sergej@schumilo.de>
Date: Mon, 30 Oct 2023 01:29:49 +0100
Subject: [PATCH] check libxdc_init return value

---
 nyx/pt.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/nyx/pt.c b/nyx/pt.c
index b7e9c2abb8..d78bc58522 100644
--- a/nyx/pt.c
+++ b/nyx/pt.c
@@ -233,6 +233,10 @@ void pt_init_decoder(CPUState *cpu)
                     GET_GLOBAL_STATE()->shared_bitmap_ptr,
                     GET_GLOBAL_STATE()->shared_bitmap_size);
 
+    if (GET_GLOBAL_STATE()->decoder == (void*)-1) {
+        nyx_abort("libxdc_init() has failed ...\n");
+    }
+
     libxdc_register_bb_callback(GET_GLOBAL_STATE()->decoder,
                                 (void (*)(void *, disassembler_mode_t, uint64_t,
                                           uint64_t))redqueen_callback,