On Thu, 27 Jun 2019, Markus Elfring wrote:

> > * The complete source file seems to be very challenging for testing
> >   the run time characteristics.
>
> How are the chances to clarify the different test results for this source code
> transformation approach with the software combination “Coccinelle 1.0.7-00211-geaa13d59-dirty
> (OCaml 4.07.1)”?
>
> elfring@Sonne:~/Projekte/Linux/next-patched> spatch --profile ~/Projekte/Coccinelle/janitor/move_error_code_assignment_to_function_end1.cocci drivers/scsi/megaraid/megaraid_sas_base.c
> …
> timeout (we abort)
> …
> profiling result
> …
> *full_engine                             : 200.279202 sec          1 count
> *bigloop                                 : 199.492610 sec          1 count
> *Rule replacement                        : 199.492608 sec          1 count
> *process_a_ctl_a_env_a_toplevel          : 198.390209 sec          1 count
> *mysat                                   : 198.390177 sec          1 count
> *ctl                                     : 198.389955 sec          1 count
> process_a_ctl_a_env_a_toplevel           : 1.102299 sec        171 count
> …

Maybe there are too many metavariable bindings.  You can try with the
option --debug.  Or if that doesn't help with the option
--verbose-ctl-engine.

julia