diff options
author | 2009-01-12 12:54:32 +0000 | |
---|---|---|
committer | 2009-01-12 12:54:32 +0000 | |
commit | a4252584ed47b01f4885e45fdc0dd0e4ecd4ce1a (patch) | |
tree | eefba3d20a56c6ac04530d9ed15300d7250095af /Eigen/src/Core/util/Memory.h | |
parent | b365f443a26511147652d4576c34da8dc08f55ea (diff) |
bugfix in ei_handmade_aligned_free for null pointers
Diffstat (limited to 'Eigen/src/Core/util/Memory.h')
-rw-r--r-- | Eigen/src/Core/util/Memory.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Eigen/src/Core/util/Memory.h b/Eigen/src/Core/util/Memory.h index bfe342da1..c16c52dd4 100644 --- a/Eigen/src/Core/util/Memory.h +++ b/Eigen/src/Core/util/Memory.h @@ -60,7 +60,8 @@ inline void* ei_handmade_aligned_malloc(size_t size) /** \internal frees memory allocated with ei_handmade_aligned_malloc */ inline void ei_handmade_aligned_free(void *ptr) { - free(*(reinterpret_cast<void**>(ptr) - 1)); + if(ptr) + free(*(reinterpret_cast<void**>(ptr) - 1)); } /** \internal allocates \a size bytes. The returned pointer is guaranteed to have 16 bytes alignment. |