On 12/09/2016 01:16 PM, Thierry Martinez wrote:
> Julia :
>> It should be possible. I'll check with Thierry about it.
>
> It is now possible (with the version pushed to Github master).
Thanks Thierry,
it works nicely and I've deduplicated some more rules.
But I'm getting a new warning that I wasn't getting before:
warning: r3: metavariable T not used in the - or context code
The exact same rule r4 that just uses type r.T does not produce that
warning. Simplified test rules attached.
I don't mind too much as the code works but I thought it is worth
mentioning.
bye
michael
@r1@
type T;
@@
T foo;
@r2@
type T;
@@
T bar;
@r3@
type T = {r1.T, r2.T};
identifier fn;
@@
fn(...) {
+ T foobar;
...
}
@r4@
type r1.T;
identifier fn;
@@
fn(...) {
+ T foo;
...
}
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
