------- Additional Comments From wilson at gcc dot gnu dot org 2005-03-13
01:32 -------
This open_dump_file change looks like a sufficient solution to me. That
prevents us from accidentally trying to open two dump files at the same time.
The equivalent problem with close_dump_file is not serious, and unlikely to
happen without triggering the open_dump_file abort, so I don't think it needs a
solution.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Known to work| |4.0.0
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11375
