From aedbebad18e967c28d03b4dcb58a9f9dd3f3c201 Mon Sep 17 00:00:00 2001
From: nhmall <nhmall@nethack.org>
Date: Wed, 27 Dec 2023 11:05:38 -0500
Subject: [PATCH] static analyzer bit for shknam.c

src/shknam.c(530): warning: Dereferencing NULL pointer 'shname'.
---
 src/shknam.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/shknam.c b/src/shknam.c
index 45c9aca39..32e3677f0 100644
--- a/src/shknam.c
+++ b/src/shknam.c
@@ -536,6 +536,7 @@ nameshk(struct monst* shk, const char* const* nlp)
             for (mtmp = fmon; mtmp; mtmp = mtmp->nmon) {
                 if (DEADMONSTER(mtmp) || (mtmp == shk) || !mtmp->isshk)
                     continue;
+                assert(has_eshk(mtmp));
                 if (strcmp(ESHK(mtmp)->shknam, shname))
                     continue;
                 name_wanted = names_avail; /* try a random name */