[Cocci] Checking data processing for statement lists

Julia Lawall julia.lawall at lip6.fr
Tue May 15 09:13:27 CEST 2018



On Tue, 15 May 2018, SF Markus Elfring wrote:

> >> How will the software behaviour evolve if I stumble on the message
> >> “Fatal error: exception Coccinelle_modules.Common.Timeout” after passing
> >> the parameter “--timeout 123” for a change attempt with a C++ source file?
> >> (Am I too impatient here?)
> >
> > No evolution is planned.
>
> I suggest to reconsider such a view.
>
> It is possible to perform some data processing with the help of the semantic
> patch language also on C++ source files in an acceptable time frame.
>
> Example:
> https://trac.cppcheck.net/ticket/8571
>
>
> > I see no reason why matching the body of a function should intrinsically
> > cause a timeout.
>
> I accidentally observed that the software situation can be changed
> in a dramatic way if a metavariable of the type “statement list” is involved.
> Can the run time characteristics be considerably improved?

I don't have either semantic patch or the test data.  Perhaps you sent
them but without mentioning it in the message, so I didn't see it.

There is nothing about the processing of C++ that should be particularly
time consuming.

julia


More information about the Cocci mailing list