[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <54BD4AB6.70708@users.sourceforge.net>
Date: Mon, 19 Jan 2015 19:19:34 +0100
From: SF Markus Elfring <elfring@...rs.sourceforge.net>
To: Brian Norris <computersforpeace@...il.com>
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"
> 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.
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.
> 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.
Regards,
Markus
--
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