[Cocci] Moving a function body to an other source code place with SmPL
julia.lawall at lip6.fr
Mon May 14 17:33:44 CEST 2018
On Mon, 14 May 2018, SF Markus Elfring wrote:
> >> I have noticed a moment ago that a blank line is not marked by the SmPL
> >> asterisk operator (for a small source code example) so far.
> >> Can such whitespace characters be also preserved there anyhow?
> > No. Whitespace is never preserved in metavariables.
> I guess that this aspect will trigger further software development consequences.
> How should a function body be converted into a part of a macro then?
If you want to do this, you might need to add \ at the ends of lines. You
can do that in python or ocaml, treating the result as an identifier.
> >> 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 see no reason why matching the body of a
> > function should intrinsically cause a timeout.
> I am also unsure if the Coccinelle software can cope in an other time frame
> with another example file I am experimenting a bit.
More information about the Cocci