Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux

ipv6: mcast: Remove redundant comparison in igmp6_mcf_get_next()

The 'state->im' value will always be non-zero after
the 'while' statement, so the check can be removed.

Found by InfoTeCS on behalf of Linux Verification Center
(linuxtesting.org) with SVACE.

Fixes: 1da177e4c3f4 ("Linux-2.6.12-rc2")
Signed-off-by: Gavrilov Ilia <Ilia.Gavrilov@infotecs.ru>
Reviewed-by: David Ahern <dsahern@kernel.org>
Link: https://lore.kernel.org/r/20230912084100.1502379-1-Ilia.Gavrilov@infotecs.ru
Signed-off-by: Paolo Abeni <pabeni@redhat.com>

authored by

Gavrilov Ilia and committed by
Paolo Abeni
59bb1d69 a613ed1a

-2
-2
net/ipv6/mcast.c
··· 3011 3011 continue; 3012 3012 state->im = rcu_dereference(state->idev->mc_list); 3013 3013 } 3014 - if (!state->im) 3015 - break; 3016 3014 psf = rcu_dereference(state->im->mca_sources); 3017 3015 } 3018 3016 out: