Hello, Thank you for the swift response on issue #128. It worked using the pointers you gave me:
>Another small point, The Linux kernel frowns on typedefs for structs. So
>really you want to turn it into
>
>struct example
>char me;
>long you;
>} struct_example;
>
>int main (void) {
>struct example *DeV;
>...
>}
Thank you!
Andrei
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
