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

fix(util/memory): warning when compiling with clang++

Browse source
This commit is contained in:
Leonardo de Moura 2014-09-26 08:40:28 -07:00
parent 4b60499f7d
commit f05bb9daeb
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/memory.cpp
View file

@ -160,6 +160,6 @@ void* operator new(std::size_t sz) throw(std::bad_alloc) { return lean::malloc(s
void operator delete(void * ptr) throw() { return lean::free(ptr); }
void* operator new[](std::size_t sz) throw(std::bad_alloc) { return lean::malloc(sz, true); }
void operator delete[](void * ptr) throw() { return lean::free(ptr); }
void* operator new(std::size_t sz, std::nothrow_t const &) { return lean::malloc(sz, false); }
void* operator new[](std::size_t sz, std::nothrow_t const &) { return lean::malloc(sz, false); }
void* operator new(std::size_t sz, std::nothrow_t const &) noexcept { return lean::malloc(sz, false); }
void* operator new[](std::size_t sz, std::nothrow_t const &) noexcept { return lean::malloc(sz, false); }
#endif