aboutsummaryrefslogtreecommitdiff
path: root/net/ipv4/tcp_timer.c
diff options
context:
space:
mode:
authorGavrilov Ilia <Ilia.Gavrilov@infotecs.ru>2023-09-12 08:42:34 +0000
committerPaolo Abeni <pabeni@redhat.com>2023-09-14 17:20:17 +0200
commita613ed1afd9696ab6d235c0dab5f557863b94bc8 (patch)
treef3c5a25017adabadc8ccb62d1a6248ca84e13bae /net/ipv4/tcp_timer.c
parent4e519fb4ee7b838d46865cdf57b647efcbff42a7 (diff)
downloadlinux-a613ed1afd9696ab6d235c0dab5f557863b94bc8.tar.gz
linux-a613ed1afd9696ab6d235c0dab5f557863b94bc8.tar.bz2
linux-a613ed1afd9696ab6d235c0dab5f557863b94bc8.zip
ipv4: igmp: Remove redundant comparison in igmp_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. Signed-off-by: Gavrilov Ilia <Ilia.Gavrilov@infotecs.ru> Reviewed-by: David Ahern <dsahern@kernel.org> Link: https://lore.kernel.org/r/20230912084039.1501984-1-Ilia.Gavrilov@infotecs.ru Signed-off-by: Paolo Abeni <pabeni@redhat.com>
Diffstat (limited to 'net/ipv4/tcp_timer.c')
0 files changed, 0 insertions, 0 deletions