[RFC] libstdc++/10063: stdio_filebuf broken

[Benjamin Kosnik]

>1* Rip it out completely. Indeed, stdio_sync_filebuf should be really
>used now for the purposes which originally led to the ext::stdio_filebuf
>extension. As regards the internal uses of stdio_filebuf (in ios.cc, I
>mean, of course) its should be not difficult to use directly basic_filebuf.
>
>2* Option 1* above + a reimplementation stdio_filebuf using underlying C
>library calls, to be provided to the users for backward compatibility with
>past code using this extension.

I think we need to keep a buffered interface that lets people use
filebufs with a fileno or a FILE*, and that interface should be in 
#include <ext/stdio_filebuf.h>

What happens to cout, wcout et. al after this is still up in the air.

best,
-benjamin