http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47650
--- Comment #12 from joe at mcknight dot de 2011-02-09 18:14:36 UTC --- > > That could be related to the function pointer issue where > > print_generic_decl() > > also rather repeats the declaration instead of printing the new type. > > You should use a debugger to see why that happens, it should end up > printing TYPE_NAME which should be a TYPE_DECL with a DECL_NAME > which should be an IDENTIFIER_NODE. You can also try TDF_SLIM. Unfortunately I'm not too experienced with debugging gcc... I tried TDF_SLIM but this makes things rather worse than better. Instead I have added a small testcase, a basic plugin that outputs a function declaration and a small .c file containing functions that are incorrectly output by the plugin. I hope this is of help for someone more knowledgeable in debugging gcc than me. If I can provide any further help, please let me know. Thanks.