also ensure that write buffer is bounded when __stdio_write returns
authorRich Felker <dalias@aerifal.cx>
Tue, 17 Apr 2012 15:08:11 +0000 (11:08 -0400)
committerRich Felker <dalias@aerifal.cx>
Tue, 17 Apr 2012 15:08:11 +0000 (11:08 -0400)
assuming other code is correct, this should be a no-op, but better to
be safe...


No differences found