http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52948
--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-04-12 20:54:35 UTC --- Indeed, removing the lines TODO_dump_func /* todo_flags_finish */ fixes the PR (I don't have write permissions).