------- Comment #11 from mmitchel at gcc dot gnu dot org 2008-04-28 04:40 ------- Manuel --
Would you please open a new bug for the diagnostic.c issue and close this one now that the library problem has been resolved? Thanks, -- Mark -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35637