On Sun, 27 Nov 2016, Julia Lawall wrote:
> > @@
> > {r1.T, r2.T} obj;
> > @@
> >
> > That only matches when both r1.T and r2.T are defined. That kinda feels
> > odd but probably is easier to implement as all inherited variables need
> > to be bound. I have quiet a few duplicated rules across multiple scripts
> > due to that.
>
> This problem is fixed by the following patch. Will appear in github
> shortly, but not immediately.
The change is now available in the github version. It is also now
possible, thanks to Thierry, to put negated constraints on type variables,
as illustrated by the following semantic patch
(tests/type_constraints.cocci):
@@
type T != { int, char };
identifier x;
@@
- T x;
+ T *x;
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
