Re: [cocci] Searching for repeated source code with SmPL?

[Markus Elfring <Markus.Elfring@web.de>]

>>> Source code parts can occasionally be repeated.
>>
>> Would you like to clarify how the data processing for scripts of
>> the semantic patch language should be influenced by the program
>> parameter “--no-loops”?
>> https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/477e7e12478bd317aa97ee79857d185601ab6f33/docs/manual/spatch_options.tex#L365
>> https://github.com/coccinelle/coccinelle/blob/477e7e12478bd317aa97ee79857d185601ab6f33/docs/manual/spatch_options.tex#L365
>
> --noloops mean that the back edge of a loop is ignored.

Do “back edges” occasionally need special treatment according to the evaluation
of computation tree logic variants?


> It can greatly reduce running time.

Such information is good to know for more desirable run time characteristics.

* Will the software evolve any further also for better detection of
  duplicate source code?

* How good are statement sequences actually handled so far?

Regards,
Markus