On 2012-11-28 23:22, Michael Zolotukhin wrote:
> +      debug_rtx (desc);

... oh, I see.  You wanted dump_rtx here, so you can output to stdout.


r~

Reply via email to