From c21940de06cf742121ef90610ddb09c06ce3b32a Mon Sep 17 00:00:00 2001 From: Daniel Arndt 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 used_categories; for (unsigned int i=0; i