michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(util/buffer): warning produced by clang++

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-01-08 11:27:11 -08:00
parent 3564665b44
commit dd6c13abb0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/buffer.h
View file

@ -32,7 +32,7 @@ protected:
void expand() { void expand() {
unsigned new_capacity = m_capacity << 1; unsigned new_capacity = m_capacity << 1;
char * new_buffer = new char[sizeof(T) * new_capacity]; char * new_buffer = new char[sizeof(T) * new_capacity];
std::memcpy(new_buffer, m_buffer, m_pos * sizeof(T)); std::memcpy(new_buffer, static_cast<void*>(m_buffer), m_pos * sizeof(T));
free_memory(); free_memory();
m_buffer = reinterpret_cast<T*>(new_buffer); m_buffer = reinterpret_cast<T*>(new_buffer);
m_capacity = new_capacity; m_capacity = new_capacity;