Thanks for all the comments. I have incorporated all the feedback (I hope). We will start implementing this in the cxx-conversion branch.
I've created a new wiki page with the debugging proposal: http://gcc.gnu.org/wiki/cxx-conversion/debugging-dumps It is also indexed from the general improvement projects wiki: http://gcc.gnu.org/wiki/ImprovementProjects Diego.
