From nobody Thu Dec 18 08:40:46 2025 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id 0ACC6C83F13 for ; Mon, 28 Aug 2023 09:12:22 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S229937AbjH1JLz (ORCPT ); Mon, 28 Aug 2023 05:11:55 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:47596 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S230004AbjH1JL2 (ORCPT ); Mon, 28 Aug 2023 05:11:28 -0400 X-Greylist: delayed 592 seconds by postgrey-1.37 at lindbergh.monkeyblade.net; Mon, 28 Aug 2023 02:11:24 PDT Received: from mx0.infotecs.ru (mx0.infotecs.ru [91.244.183.115]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 76F15EC; Mon, 28 Aug 2023 02:11:24 -0700 (PDT) Received: from mx0.infotecs-nt (localhost [127.0.0.1]) by mx0.infotecs.ru (Postfix) with ESMTP id 844C71024B9B; Mon, 28 Aug 2023 12:01:27 +0300 (MSK) DKIM-Filter: OpenDKIM Filter v2.11.0 mx0.infotecs.ru 844C71024B9B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=infotecs.ru; s=mx; t=1693213287; bh=e1LoLEWqLdQNVrpbhibyY/jWf0inRICe7rnSUvTENN0=; h=From:To:CC:Subject:Date:From; b=fLh36ZdSjclfmkdDwDaGK+bsxz1dmHZS7EhQ6zmCjcMP1qGPw3NPayV1J4A2daORZ 9gU6bLFP5UIPriKd0iJGTXA48/brPI/K2IX6jlmc7hGmpIBQgj3uVGusFnE0Z2YHrc xP9qzkOCLwwczEKJiYKGEhxdH/M+P6GetX5nT950= Received: from msk-exch-02.infotecs-nt (msk-exch-02.infotecs-nt [10.0.7.192]) by mx0.infotecs-nt (Postfix) with ESMTP id 8110F3032702; Mon, 28 Aug 2023 12:01:27 +0300 (MSK) From: Gavrilov Ilia To: "David S. Miller" CC: David Ahern , Eric Dumazet , Jakub Kicinski , Paolo Abeni , "netdev@vger.kernel.org" , "linux-kernel@vger.kernel.org" , "lvc-project@linuxtesting.org" Subject: [PATCH net] ipv4: igmp: Remove redundant comparison in igmp_mcf_get_next() Thread-Topic: [PATCH net] ipv4: igmp: Remove redundant comparison in igmp_mcf_get_next() Thread-Index: AQHZ2Y46eeJuAyOxGUmxwt3NBxsAdw== Date: Mon, 28 Aug 2023 09:01:27 +0000 Message-ID: <20230828085926.424703-1-Ilia.Gavrilov@infotecs.ru> Accept-Language: ru-RU, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.17.0.10] x-exclaimer-md-config: 208ac3cd-1ed4-4982-a353-bdefac89ac0a Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-KLMS-Rule-ID: 5 X-KLMS-Message-Action: clean X-KLMS-AntiSpam-Status: not scanned, disabled by settings X-KLMS-AntiSpam-Interceptor-Info: not scanned X-KLMS-AntiPhishing: Clean, bases: 2023/08/28 08:24:00 X-KLMS-AntiVirus: Kaspersky Security for Linux Mail Server, version 8.0.3.30, bases: 2023/08/28 04:26:00 #21751202 X-KLMS-AntiVirus-Status: Clean, skipped Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Type: text/plain; charset="utf-8" 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 --- net/ipv4/igmp.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/net/ipv4/igmp.c b/net/ipv4/igmp.c index 48ff5f13e797..6ebf06886527 100644 --- a/net/ipv4/igmp.c +++ b/net/ipv4/igmp.c @@ -2943,8 +2943,6 @@ static struct ip_sf_list *igmp_mcf_get_next(struct se= q_file *seq, struct ip_sf_l continue; state->im =3D rcu_dereference(state->idev->mc_list); } - if (!state->im) - break; spin_lock_bh(&state->im->lock); psf =3D state->im->sources; } --=20 2.39.2