From c7b8de77c0510e3203af06d8db16bf72cd964419 Mon Sep 17 00:00:00 2001 From: Gael Guennebaud Date: Thu, 15 Jul 2010 09:28:29 +0200 Subject: [PATCH] fix aligned_delete for null pointers --- Eigen/src/Core/util/Memory.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Eigen/src/Core/util/Memory.h b/Eigen/src/Core/util/Memory.h index 34ccd3763..eff86a23f 100644 --- a/Eigen/src/Core/util/Memory.h +++ b/Eigen/src/Core/util/Memory.h @@ -188,7 +188,8 @@ template<> inline void ei_conditional_aligned_free(void *ptr) template inline void ei_destruct_elements_of_array(T *ptr, std::size_t size) { // always destruct an array starting from the end. - while(size) ptr[--size].~T(); + if(ptr) + while(size) ptr[--size].~T(); } /** \internal delete objects constructed with ei_aligned_new