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?

Thanks,

Oleg.

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

Reply via email to