On Sat, 3 Dec 2016, SF Markus Elfring wrote:
> > Why don't you think about it on your own and write back if you
> > don't figure anything out.
>
> I am still looking for ways to make a small SmPL specification like the
> following
> a bit safer.
>
> @find_…@
> expression ex1, ex2, value;
> identifier action =~ …;
> @@
> *ex1 = action(...);
> ex2 = value;
>
>
> I am unsure if such a source code search approach should eventually be split
> into more SmPL processing steps.
(
ex1 = action(...);
ex2 = <+...ex1...+>;
|
*ex1 = action(...);
ex2 = value;
)
is perhaps what you are looking for.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
