From 54c037a187e2e4babbab3775ff4817fac184bd6a Mon Sep 17 00:00:00 2001
From: David Lamparter <equinox@opensourcerouting.org>
Date: Fri, 21 Apr 2023 15:25:25 +0200
Subject: [PATCH] pimd: annotate some pointers as non-null

... make static analysis happy.

Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
---
 pimd/pim6_mld.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pimd/pim6_mld.c b/pimd/pim6_mld.c
index c3473d5dff..a3569c129f 100644
--- a/pimd/pim6_mld.c
+++ b/pimd/pim6_mld.c
@@ -2271,6 +2271,7 @@ void gm_ifp_update(struct interface *ifp)
 	if (!pim_ifp->mld) {
 		changed = true;
 		gm_start(ifp);
+		assume(pim_ifp->mld != NULL);
 	}
 
 	gm_ifp = pim_ifp->mld;
@@ -2406,6 +2407,8 @@ static void gm_show_if_one(struct vty *vty, struct interface *ifp,
 	struct gm_if *gm_ifp = pim_ifp->mld;
 	bool querier;
 
+	assume(js_if || tt);
+
 	querier = IPV6_ADDR_SAME(&gm_ifp->querier, &pim_ifp->ll_lowest);
 
 	if (js_if) {