[Bug libc/15298] New: open_memstream(): seek-past-end should not change size until write

[Bug libc/15298] New: open_memstream(): seek-past-end should not change size until write

[guenther at gmail dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=15298

             Bug #: 15298
           Summary: open_memstream(): seek-past-end should not change size
                    until write
           Product: glibc
           Version: 2.17
            Status: NEW
          Severity: normal
          Priority: P2
         Component: libc
        AssignedTo: unassigned@sourceware.org
        ReportedBy: guenther@gmail.com
                CC: drepper.fsp@gmail.com
    Classification: Unclassified


Created attachment 6941
  --> http://sourceware.org/bugzilla/attachment.cgi?id=6941
partial regression test for open_memstream

The IEEE Std 1003.1-2008 (aka POSIX-2008) says this in its description of
open_memstream:
--------
The stream shall maintain a current position in the allocated buffer and a
current buffer length. The position shall be initially set to zero (the start
of the buffer). Each write to the stream shall start at the current position
and move this position by the number of successfully written bytes for
open_memstream() or the number of successfully written wide characters for
open_wmemstream(). The length shall be initially set to zero. If a write moves
the position to a value larger than the current length, the current length
shall be set to this position. In this case a null character for
open_memstream() or a null wide character for open_wmemstream() shall be
appended to the current buffer. For both functions the terminating null is not
included in the calculation of the buffer length.

After a successful fflush() or fclose(), the pointer referenced by bufp shall
contain the address of the buffer, and the variable pointed to by sizep shall
contain the smaller of the current buffer length and the number of bytes for
open_memstream(), or the number of wide characters for open_wmemstream(),
between the beginning of the buffer and the current file position indicator.
--------

So, if you write to the stream, seek past the end, then close it without
writing again, the size location should be set to the end of the furthest write
("smaller of the current buffer length and <...>"), not the seek position.  In
glibc 2.17, it instead returns the seek position.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug libc/15298] open_memstream(): seek-past-end should not change size until write

[guenther at gmail dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=15298

Philip Guenther <guenther at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |guenther at gmail dot com

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug libc/15298] open_memstream(): seek-past-end should not change size until write

[guenther at gmail dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=15298

--- Comment #1 from Philip Guenther <guenther at gmail dot com> 2013-03-23 05:33:52 UTC ---
The behavior of fseek(fp, offset, SEEK_END) also seems...odd.  My expectation,
given the wording of the spec, is that it would be relative to the buffer
length (as defined by the spec) but it seems to be relative to something bigger
than that, the actual allocated buffer size, perhaps?  Isn't the stream created
by open_memstream() supposed to behave like an in-memory version of a temp
file, so seeks from SEEK_END should be relative to just past the last written
position?

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug libc/15298] open_memstream(): seek-past-end should not change size until write

[fweimer at redhat dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=15298

Florian Weimer <fweimer at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
              Flags|                            |security-

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug stdio/15298] open_memstream(): seek-past-end should not change size until write

[jsm28 at gcc dot gnu.org]

https://sourceware.org/bugzilla/show_bug.cgi?id=15298

Joseph Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|libc                        |stdio

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug stdio/15298] open_memstream(): seek-past-end should not change size until write

[tonyb at cybernetics dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=15298

Tony Battersby <tonyb at cybernetics dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tonyb at cybernetics dot com

--- Comment #3 from Tony Battersby <tonyb at cybernetics dot com> ---
Created attachment 12657
  --> https://sourceware.org/bugzilla/attachment.cgi?id=12657&action=edit
memstream_open test for fflush vs. fclose

Beginning with glibc 2.25 and up to the current development version, fflush()
vs. fclose() behave differently after a seek + write, so this is still broken. 
The attached test program gives the following output:

The following two lines should be identical:
size 7 strlen 26 buf 'ABCDEFGhijklmnopqrstuvwxyz'
size 7 strlen 7 buf 'ABCDEFG'

-- 
You are receiving this mail because:
You are on the CC list for the bug.