The patch for PR libstdc++/14097.

[KRECKEL Richard NGLTD]

Hi!

Loren, first of all, thanks a lot for your turboprocessing said PR.  :-)

I have, however, a question: How is one supposed to get at the underlying
file descriptor of an object of type stdio_sync_filebuf<charT>?  I mean,
every C FILE object on a Unix-like system is implemented using system 
calls dealing with fds, right?  So, there should be some way of fetching
it.  We've had this discussion before, which led to the introduction of
stdio_filebuf<charT>::fd() in GCC 3.1, IIRC.

>From a user's perspective, what the patch does, is provide a way of
placing new stdio_filebuf<charT> objects where before have been some
stdio_sync_filebuf<charT> objects.  For the user, that way is calling
std::ios_base::sync_with_stdio(false).  But this just is not the right way!
That information should be available from the stdio_sync_filebuf<charT>
object directly, somehow.

Regards
    -richy.
-- 
Dr. Richard B. Kreckel
Framatome ANP GmbH, NGLTD
<Richard.Kreckel@Framatome-ANP.COM>