https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124293

--- Comment #3 from Andre Vehreschild <vehre at gmx dot de> ---
Go for it. Using dprintf() was taken from the original implementation and 
not my favorite. I don't know why I didn't scrap it.

Reply via email to