Re: coccinelle: api/devm_platform_ioremap_resource: remove useless script

From: Julia Lawall
Date: Sun Oct 20 2019 - 01:38:49 EST

> If said script was providing a correct semantic patch instead of being
> an incentive for people to churn untested patches that span the whole
> tree, that'd be a different story. But that's not what this is about.

What is the actual incorrectness with the script?

An option could be to adjust the rule such that it can be run with an
extra command line option, like -D developer but is not run by default by
make coccicheck.