Hello!
coccilib.report.print_report is not producing any output when STDOUT is
redirected to a file or a pipe. I have attached a simple test case.
spatch cocciprint.cocci cocciprint.c
cocciprint.c:3:8-9: Printing Suceeded
spatch cocciprint.cocci cocciprint.c > /tmp/nothing
wc -c /tmp/nothing
0 /tmp/nothing
thanks
bye
michael
void foo(void)
{
int i;
i = 5;
}
@r@
identifier i;
position p;
@@
int i@p;
@ script:python @
p << r.p;
@@
coccilib.report.print_report(p[0], "Printing Suceeded")
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
