There is a problem with the pretty printing.  For the following semantic
patch:

@@
type t;
symbol x;
@@
void main() {
-       t x;
+       t y;
}

and the following C code:

void main() {
        const char * const * x;
}


The output is:

 void main() {
-       const char * const * x;
+       const char *const *y;
 }

There should be a space between * and const on the + line.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to