From c21940de06cf742121ef90610ddb09c06ce3b32a Mon Sep 17 00:00:00 2001
From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Fri, 18 May 2018 09:48:43 +0200
Subject: [PATCH] Avoid accessing uninitialized memory in TaskInfo

---
 source/matrix_free/task_info.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/matrix_free/task_info.cc b/source/matrix_free/task_info.cc
index 8169b59a58..01f48a9958 100644
--- a/source/matrix_free/task_info.cc
+++ b/source/matrix_free/task_info.cc
@@ -774,7 +774,7 @@ namespace internal
           // create a tight map of categories for not taking exceeding amounts
           // of memory below. Sort the new categories by the numbers in the
           // old one.
-          tight_category_map.reserve(n_active_cells+n_ghost_cells);
+          tight_category_map.resize(n_active_cells+n_ghost_cells);
           std::set<unsigned int> used_categories;
           for (unsigned int i=0; i<n_active_cells+n_ghost_cells; ++i)
             used_categories.insert(cell_vectorization_categories[i]);
-- 
2.39.5