On Tue, Sep 15, 2026 at 4:47 AM Evgeny Sokolov <[email protected]> wrote:
> From: Sokolov Evgeny <[email protected]> > > rxbd and rx_buf are assigned the addresses of array elements, which > cannot be NULL. > > Remove the redundant NULL checks from the jumbo frame receive path. > > Found by InfoTeCS on behalf of Linux Verification Center (linuxtesting.org) > with SVACE. > > Signed-off-by: Sokolov Evgeny <[email protected]> > --- > drivers/net/bnxt/bnxt_rxr.c | 9 --------- > 1 file changed, 9 deletions(-) > > diff --git a/drivers/net/bnxt/bnxt_rxr.c b/drivers/net/bnxt/bnxt_rxr.c > index 0fab4ddf78..98bdbc136a 100644 > --- a/drivers/net/bnxt/bnxt_rxr.c > +++ b/drivers/net/bnxt/bnxt_rxr.c > @@ -74,15 +74,6 @@ static inline int bnxt_alloc_ag_data(struct > bnxt_rx_queue *rxq, > > rxbd = &rxr->ag_desc_ring[prod]; > rx_buf = &rxr->ag_buf_ring[prod]; > - if (rxbd == NULL) { > - PMD_DRV_LOG_LINE(ERR, "Jumbo Frame. rxbd is NULL"); > - return -EINVAL; > - } > - > - if (rx_buf == NULL) { > - PMD_DRV_LOG_LINE(ERR, "Jumbo Frame. rx_buf is NULL"); > - return -EINVAL; > - } > > mbuf = __bnxt_alloc_rx_data(rxq->agg_mb_pool); > if (!mbuf) { > -- > 2.30.2 > > Acked-by: Kishore Padmanabha <[email protected]>
