[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <9d24844f30604f969ac10da456801f594ce72f2d.camel@linux.ibm.com>
Date: Fri, 29 Dec 2023 12:21:58 -0500
From: James Bottomley <jejb@...ux.ibm.com>
To: Markus Elfring <Markus.Elfring@....de>, linux-scsi@...r.kernel.org,
kernel-janitors@...r.kernel.org,
"Martin K. Petersen"
<martin.petersen@...cle.com>
Cc: LKML <linux-kernel@...r.kernel.org>
Subject: Re: [PATCH] scsi: ses: Move a label in ses_enclosure_data_process()
On Thu, 2023-12-28 at 15:48 +0100, Markus Elfring wrote:
> From: Markus Elfring <elfring@...rs.sourceforge.net>
> Date: Thu, 28 Dec 2023 15:38:09 +0100
>
> The kfree() function was called in up to three cases by
> the ses_enclosure_data_process() function during error handling
> even if the passed variable contained a null pointer.
> This issue was detected by using the Coccinelle software.
Why is this an issue? The whole point of having kfree(NULL) be a nop
is so we don't have to special case the free path. The reason we do
that is because multiple special case paths through code leads to more
complex control flows and more potential bugs. If coccinelle suddenly
thinks this is a problem, it's coccinelle that needs fixing.
James
Powered by blists - more mailing lists