Proposed resolution:

This wording is relative to N4964.

1. Modify [streambuf.get.area] as indicated:

   void setg(char_type* gbeg, char_type* gnext, char_type* gend);
   

   -?- Preconditions: [gbeg, gnext), [gbeg, gend), and [gnext, gend) are all valid ranges.

   -5- Postconditions: gbeg == eback(), gnext == gptr(), and gend == egptr() are all true.

2. Modify [streambuf.put.area] as indicated:

   void setp(char_type* pbeg, char_type* pend);
   

   -?- Preconditions: [pbeg, pend) is a valid range.

   -5- Postconditions: pbeg == pbase(), pbeg == pptr(), and pend == epptr() are all true.

[ Tokyo 2024-03-23; Status changed: Voting → WP. ]

[ 2024-03-11; Reflector poll ]

Set status to Tentatively Ready after six votes in favour during reflector poll.

It seems that operations of std::basic_streambuf expect that

• [eback(), egptr()) is a valid range and gptr() points into that range, and

• [pbase(), pptr()) is a valid range and epptr() points into that range.

However, it is currently not specified for setg/setp that such invariants need to be established.