On Wed, 17 Apr 2019, Markus Elfring wrote:
> > @@
> > statement S,S1;
> > @@
> >
> > foo(...) {
> > ... when != S
> > + added code
> > S1
> > ...
> > }
> >
> > A declaration doesn't match S.
>
> Can this information trigger additional considerations for the handling
> of variable definitions?
>
> Would you like to add any source code only after a variable declaration
Coccinelle doesn't allow this. It has no way of knowing whether other
declarations come afterwards, and in the Linux kernel it is not allowed to
mix statements and declarations.
julia
> (or definition) block?
>
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
