On Mon, 14 May 2018, SF Markus Elfring wrote:
> >> It would be occasionally nice if an implementation of a function could be
> >> completely stored into a metavariable.
> >> Is a statement list variable appropriate for this use case?
> >
> > Yes.
>
> Thanks for your acknowledgement that it should usually work.
>
>
> 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.
>
>
> >> Can these data be moved to an other function (or macro definition)?
> >
> > Yes. A statement list variable can be added anywhere a list of statements
> > is allowed, ie not necessarily as the complete body of a block.
>
> 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.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
