On Wed, 15 Jan 2020, Oleg Nesterov wrote:
> Hello,
>
> trivial example:
>
> @r@
> int x;
> @@
>
> * x = 0;
>
> C code:
>
> void f(void)
> {
> int a;
> __typeof__(a) b;
>
> a = 0; // this matches
> b = 0; // this doesn't
> }
>
> is it correct?Yes, it doesn't currently understand typeof. If it's a big problem, it should be easy to fix. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
