[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CACKFLi=+BL3xZGhEV3_J0pcEu9Xm8QkE6hE0g4RHd9xZqzjD_Q@mail.gmail.com>
Date: Sun, 27 Aug 2023 10:29:37 -0700
From: Michael Chan <michael.chan@...adcom.com>
To: Simon Horman <horms@...nel.org>
Cc: Mikhail Kobuk <m.kobuk@...ras.ru>, Siva Reddy Kallam <siva.kallam@...adcom.com>,
Prashant Sreedharan <prashant@...adcom.com>, Michael Chan <mchan@...adcom.com>,
"David S. Miller" <davem@...emloft.net>, Eric Dumazet <edumazet@...gle.com>,
Jakub Kicinski <kuba@...nel.org>, Paolo Abeni <pabeni@...hat.com>,
Richard Cochran <richardcochran@...il.com>, Jean Delvare <jdelvare@...e.com>,
Guenter Roeck <linux@...ck-us.net>, netdev@...r.kernel.org, linux-kernel@...r.kernel.org,
linux-hwmon@...r.kernel.org, lvc-project@...uxtesting.org,
Alexey Khoroshilov <khoroshilov@...ras.ru>
Subject: Re: [PATCH] ethernet: tg3: remove unreachable code
On Sun, Aug 27, 2023 at 9:51 AM Simon Horman <horms@...nel.org> wrote:
>
> On Fri, Aug 25, 2023 at 10:04:41PM +0300, Mikhail Kobuk wrote:
>
> + Matt Carlson <mcarlson@...adcom.com>
Matt Carlson is no longer working for Broadcom.
>
> > 'tp->irq_max' value is either 1 [L16336] or 5 [L16354], as indicated in
> > tg3_get_invariants(). Therefore, 'i' can't exceed 4 in tg3_init_one()
> > that makes (i <= 4) always true. Moreover, 'intmbx' value set at the
> > last iteration is not used later in it's scope.
> >
> > Found by Linux Verification Center (linuxtesting.org) with SVACE.
> >
> > Fixes: 78f90dcf184b ("tg3: Move napi_add calls below tg3_get_invariants")
> > Signed-off-by: Mikhail Kobuk <m.kobuk@...ras.ru>
> > Reviewed-by: Alexey Khoroshilov <khoroshilov@...ras.ru>
Reviewed-by: Michael Chan <michael.chan@...adcom.com>
Download attachment "smime.p7s" of type "application/pkcs7-signature" (4209 bytes)
Powered by blists - more mailing lists