[Cocci] 0079-netdev-destructor.cocci very slow
johannes at sipsolutions.net
Tue Sep 18 11:22:23 CEST 2018
On Mon, 2018-09-17 at 23:55 +0200, Hauke Mehrtens wrote:
> The 0079-netdev-destructor.cocci spatch in backports is very slow for
> me. For bigger files I get a warning that it takes over to 15 seconds to
> apply it to just one file, for the complete backports tree it takes over
> an hour to apply.
> This is the patch:
> When I remove the <-- --> in the first rule, it is applied in some
> seconds on the complete tree, so an speed improvement of about 100
> times, but it is not working correctly any more. ;-)
> Is this normal or how can I improve the spatch to be faster? I am using
> coccinelle 1.0.7 build with default configure arguments against the
> libraries from Debian stable.
We've had this discussion before :-)
I think we determined that it was normal.
> If this is normal I should probably try to reduce the number of files it
> tries to apply this against in gentree.py before spatch gets started.
spatch should already try that internally, but perhaps with some extra
knowledge we can do a better job ...
More information about the Cocci