[Cocci] Checking data processing for statement lists
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.
> > 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
More information about the Cocci