Fix two issues with C string memory consumption.

These were pointed out by @msteigemann.

Including cstring to obtain strlen is not necessary with some GCC
releases, but may be needed on other platforms.

I rewrote the call to strlen so that it does not rely on the fact that
sizeof(char) == 1 on most platforms.

diff --git a/include/deal.II/base/memory_consumption.h b/include/deal.II/base/memory_consumption.h
index 166d03f32b651610aec0ebf96c1187b374098cbe..c34e8f69a4a176405c9dba08ee6fbd3fc1b8eb62 100644 (file)
--- a/include/deal.II/base/memory_consumption.h
+++ b/include/deal.II/base/memory_consumption.h
@@ -24,6 +24,7 @@
 #include <complex>
 #include <vector>
 #include <cstddef>
+#include <cstring>
 
 DEAL_II_NAMESPACE_OPEN
 
@@ -458,7 +459,7 @@ namespace MemoryConsumption
       }
     else
       {
-        return /*Don't forget about the NUL! :]*/ sizeof(char) + strlen(string);
+        return sizeof(char)*(strlen(string) /*Remember the NUL*/ + 1);
       }
   }