On Sun, Aug 27, 2023 at 9:51 AM Simon Horman <horms@kernel.org> wrote:
>
> On Fri, Aug 25, 2023 at 10:04:41PM +0300, Mikhail Kobuk wrote:
>
> + Matt Carlson <mcarlson@broadcom.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@ispras.ru>
> > Reviewed-by: Alexey Khoroshilov <khoroshilov@ispras.ru>

Reviewed-by: Michael Chan <michael.chan@broadcom.com>