http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49992
m...@gcc.gnu.org <mrs at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |mrs at gcc dot gnu.org Resolution| |FIXED --- Comment #35 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> 2011-08-10 22:11:22 UTC --- I believe this problem has been fixed. trim_filename doesn't appear twice.