Re: [PATCH] PR libstdc++/81751 don't call fflush(NULL)

2017-08-09 Thread Jonathan Wakely
On 09/08/17 18:39 +0200, Paolo Carlini wrote: Hi, On 9 Aug 2017, at 17:56, Jonathan Wakely wrote: This fixes a couple of problems in __gnu_cxx::stdio_filebuf, specifically in the __basic_file::sys_open(FILE*, openmode) function it uses when constructed from an existing FILE stream. Firstly,

Re: [PATCH] PR libstdc++/81751 don't call fflush(NULL)

2017-08-09 Thread Paolo Carlini
Hi, > On 9 Aug 2017, at 17:56, Jonathan Wakely wrote: > > This fixes a couple of problems in __gnu_cxx::stdio_filebuf, > specifically in the __basic_file::sys_open(FILE*, openmode) function > it uses when constructed from an existing FILE stream. > > Firstly, r86756 changed __basic_file::sys_op

[PATCH] PR libstdc++/81751 don't call fflush(NULL)

2017-08-09 Thread Jonathan Wakely
This fixes a couple of problems in __gnu_cxx::stdio_filebuf, specifically in the __basic_file::sys_open(FILE*, openmode) function it uses when constructed from an existing FILE stream. Firstly, r86756 changed __basic_file::sys_open(FILE*, openmode) to put the call to sync() before the assignment