diff options
author | 2010-07-22 16:29:35 +0200 | |
---|---|---|
committer | 2010-07-22 16:29:35 +0200 | |
commit | 7020f30da3ce2b646ddafa535c6564ed00fc762f (patch) | |
tree | 5d26ac3fd8b082dfe2d89903d58b760529632d72 /Eigen/src/Core/util/Memory.h | |
parent | b9edd6fb85a4930f0291f1b52c7f84cb6684e063 (diff) | |
parent | 96ba7cd6557769e01778441cdf7855295542aad0 (diff) |
sync with default branch
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 1b89525a8..75c3e5ec4 100644 --- a/Eigen/src/Core/util/Memory.h +++ b/Eigen/src/Core/util/Memory.h @@ -315,7 +315,8 @@ template<typename T> inline T* ei_construct_elements_of_array(T *ptr, size_t siz template<typename T> inline void ei_destruct_elements_of_array(T *ptr, size_t size) { // always destruct an array starting from the end. - while(size) ptr[--size].~T(); + if(ptr) + while(size) ptr[--size].~T(); } /***************************************************************************** |