On Sun, 17 May 2015, Nicholas Mc Guire wrote:
> On Sun, 17 May 2015, Julia Lawall wrote:
>
> > do while is not supported. Sorry.
> >
>
> interesting - did this just not get done or
> is there a theoretical issue with do while constructs ?
It just never got done...
How about
* x = read@p(...)
... when != x < 0
when != x > 0
when != x == -C
* x = read@p(...)
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
