pimd: annotate some pointers as non-null

... make static analysis happy.

Signed-off-by: David Lamparter <equinox@opensourcerouting.org>

diff --git a/pimd/pim6_mld.c b/pimd/pim6_mld.c
index c3473d5dff7c81d4f2032b813806bc688e954a64..a3569c129ffde79c934865a027b1331d6e4ecd8f 100644 (file)
--- 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) {