libstdc++/10132: filebuf destructor throws exceptions

[Benjamin Kosnik]

The following reply was made to PR libstdc++/10132; it has been noted by GNATS.

From: Benjamin Kosnik <bkoz@redhat.com>
To: =?ISO-8859-1?Q?P=E9tur_Run=F3lfsson?= <peturr02@ru.is>
Cc: gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: libstdc++/10132: filebuf destructor throws exceptions
Date: Thu, 24 Apr 2003 01:04:02 -0500

 >This is disallowed by the resolution to DR 119. It won't
 >fix the problem either since the destructor calls other
 >functions that may throw (use_facet).
 
 Right.
 
 >I believe user-defined facets are allowed to throw anything
 >they choose, whenever they choose from those members
 >without throw specs, and that the iostream library should
 >be prepared to deal with this.