[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20150119183057.GI9759@ld-irv-0074>
Date: Mon, 19 Jan 2015 10:30:57 -0800
From: Brian Norris <computersforpeace@...il.com>
To: SF Markus Elfring <elfring@...rs.sourceforge.net>
Cc: David Woodhouse <dwmw2@...radead.org>,
Kyungmin Park <kyungmin.park@...sung.com>,
linux-mtd@...ts.infradead.org, LKML <linux-kernel@...r.kernel.org>,
kernel-janitors@...r.kernel.org,
Julia Lawall <julia.lawall@...6.fr>
Subject: Re: [PATCH] MTD: Deletion of checks before the function call
"iounmap"
On Mon, Jan 19, 2015 at 07:19:34PM +0100, SF Markus Elfring wrote:
> > Anyway, I'm essentially saying that I'd like to be 100% sure we have a
> > guarantee before dropping all these.
>
> You can not be absolutely sure. There are various implementation details
> which will eventually need further considerations.
Let's consider them first. We don't ship code that is missing the
implementation details. (At least, we try not to!)
> I hope that a reasonable confidence can be achieved here.
>
>
> >> This issue was detected by using the Coccinelle software.
> >
> > What script?
>
> I published scripts for static source code analysis in March 2004.
I didn't ask "when?"; where?
> > Hand-rolled I guess?
>
> An extended version found some update candidates in source files for Linux
> according to the software development status of "next-20141226".
>
> My approach is still incomplete at the moment.
Then please complete it.
Thanks,
Brian
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists