Suppress a gcc 13 warning

This commit is contained in:
Victor Zverovich 2024-09-04 11:43:12 -07:00
parent b4d1d7f8e6
commit 6aaf7f4b79

View File

@ -1512,6 +1512,7 @@ template <typename F> class glibc_file : public file_base<F> {
void init_buffer() {
if (this->file_->_IO_write_ptr) return;
// Force buffer initialization by placing and removing a char in a buffer.
assume(this->file_->_IO_write_ptr >= this->file_->_IO_write_end);
putc_unlocked(0, this->file_);
--this->file_->_IO_write_ptr;
}