> OK, thanks I will look into it.  At least in the last case, that is not
> the intended behavior.
>

One more, I use 1.0.2 version as I had a problem with  1.0.5
compilation previously.
I will try bump to 1.0. 5 anyway and check the behavior.

/Waldek
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to