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
