From efd4d9044834554316b4a90a5bcac759ff755fce Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 4 Oct 2016 14:12:30 -0600 Subject: [PATCH] Do not dereference pointers unless we know that they are non-NULL. --- source/grid/tria.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/source/grid/tria.cc b/source/grid/tria.cc index e881105112..34b530d6af 100644 --- a/source/grid/tria.cc +++ b/source/grid/tria.cc @@ -13539,7 +13539,8 @@ Triangulation::memory_consumption () const mem += sizeof(smooth_grid); mem += MemoryConsumption::memory_consumption (number_cache); mem += sizeof (faces); - mem += MemoryConsumption::memory_consumption (*faces); + if (faces) + mem += MemoryConsumption::memory_consumption (*faces); return mem; } -- 2.39.5