From mboxrd@z Thu Jan 1 00:00:00 1970 From: James Smart Date: Mon, 06 Jul 2020 14:48:16 +0000 Subject: Re: [PATCH][next] scsi: lpfc: fix less than zero comparison on unsigned int computation Message-Id: <44692d32-d522-43ff-de74-a1faa432a911@broadcom.com> List-Id: References: <20200706130820.487271-1-colin.king@canonical.com> In-Reply-To: <20200706130820.487271-1-colin.king@canonical.com> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: Colin King , Dick Kennedy , "James E . J . Bottomley" , "Martin K . Petersen" , linux-scsi@vger.kernel.org Cc: kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org On 7/6/2020 6:08 AM, Colin King wrote: > From: Colin Ian King > > The expressions start_idx - dbg_cnt is evaluated using unsigned int > arthithmetic (since these variables are unsigned ints) and hence can > never be less than zero, so the less than comparison is never true. > Re-write the expression to check for start_idx being less than dbg_cnt. > > Addresses-Coverity: ("Unsigned compared against 0") > Fixes: 372c187b8a70 ("scsi: lpfc: Add an internal trace log buffer") > Signed-off-by: Colin Ian King > --- > drivers/scsi/lpfc/lpfc_init.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/drivers/scsi/lpfc/lpfc_init.c b/drivers/scsi/lpfc/lpfc_init.c > index 7285b0114837..ce5afe7b11d0 100644 > --- a/drivers/scsi/lpfc/lpfc_init.c > +++ b/drivers/scsi/lpfc/lpfc_init.c > @@ -14152,7 +14152,7 @@ void lpfc_dmp_dbg(struct lpfc_hba *phba) > if ((start_idx + dbg_cnt) > (DBG_LOG_SZ - 1)) { > temp_idx = (start_idx + dbg_cnt) % DBG_LOG_SZ; > } else { > - if ((start_idx - dbg_cnt) < 0) { > + if (start_idx < dbg_cnt) { > start_idx = DBG_LOG_SZ - (dbg_cnt - start_idx); > temp_idx = 0; > } else { Thanks Colin - I was about to send a patch for this. Has this fix and one a couple of lines further down. I will post it shortly. -- james