[Cocci] Moving a function body to an other source code place with SmPL

Julia Lawall 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.

julia

>
>
> >> 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.
>
> Regards,
> Markus
>


More information about the Cocci mailing list