From ae61874628b24eca475137a581500cf06882c83c Mon Sep 17 00:00:00 2001
From: Paul Floyd <pjfloyd@wanadoo.fr>
Date: Sun, 28 Apr 2024 18:19:55 +0200
Subject: [PATCH] fd leaks: add an assert for the error extra data

Coverity claims that it could cause a NULL dereference. I don't
think it's possible. Adding an assert will at least make things
clearer if Coverity ever turns out to be right.
---
 coregrind/m_syswrap/syswrap-generic.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coregrind/m_syswrap/syswrap-generic.c b/coregrind/m_syswrap/syswrap-generic.c
index 0c0f67602..48be8e8bf 100644
--- a/coregrind/m_syswrap/syswrap-generic.c
+++ b/coregrind/m_syswrap/syswrap-generic.c
@@ -1128,6 +1128,7 @@ void fd_pp_Error (const Error *err)
       if (xml) VG_(emit)("  <kind>FdBadClose</kind>\n");
       struct BadCloseExtra *bce = (struct BadCloseExtra *)
          VG_(get_error_extra)(err);
+      vg_assert(bce);
       if (xml) {
          VG_(emit)("  <fd>%d</fd>\n", bce->fd);
          if (bce->pathname)
-- 
2.47.2