From 89b5ca7468336fdef985755613b4c5ebced878a8 Mon Sep 17 00:00:00 2001
From: Mikhail Karasikov <mike-karas@ya.ru>
Date: Tue, 16 Mar 2021 21:09:31 +0100
Subject: [PATCH] cleanup

---
 include/sdsl/int_vector_buffer.hpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/include/sdsl/int_vector_buffer.hpp b/include/sdsl/int_vector_buffer.hpp
index 62c80d95..484724c1 100644
--- a/include/sdsl/int_vector_buffer.hpp
+++ b/include/sdsl/int_vector_buffer.hpp
@@ -80,10 +80,6 @@ class int_vector_buffer
                 if (m_size-m_begin<m_buffersize)
                     util::set_to_value(m_buffer, 0);
                 uint64_t wb = std::min(m_buffersize*width(), (m_size-m_begin)*width()+7)/8;
-                if (wb > m_buffer.bit_size() / 8) {
-                    std::cout << "WRITE TO BUFFER: OUT OF BOUNDS" << std::endl;
-                    exit(1);
-                }
                 m_ifile->read(reinterpret_cast<char*>(m_buffer.data()), wb);
                 m_ifile_pos += wb;
                 if (!m_ifile->good())
@@ -104,10 +100,6 @@ class int_vector_buffer
                         throw_error("seekp error");
                 }
                 uint64_t wb = std::min(m_buffersize*width(), (m_size-m_begin)*width()+7)/8;
-                if (wb > m_buffer.bit_size() / 8) {
-                    std::cout << "READ FROM BUFFER: OUT OF BOUNDS" << std::endl;
-                    exit(1);
-                }
                 m_ofile->write(reinterpret_cast<const char*>(m_buffer.data()), wb);
                 if (!m_ofile->good())
                     throw_error("write block error");