From d144ee88c6e943b630b4130e743af4ef3c12db87 Mon Sep 17 00:00:00 2001
From: Pedro Gonnet <gonnet@google.com>
Date: Sun, 10 Jan 2016 23:30:45 +0100
Subject: [PATCH] init tasks and tasks_ind to make sure they're not freed.

---
 src/scheduler.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/scheduler.c b/src/scheduler.c
index c504588299..ae83ddc0ff 100644
--- a/src/scheduler.c
+++ b/src/scheduler.c
@@ -1303,5 +1303,7 @@ void scheduler_init(struct scheduler *s, struct space *space, int nr_tasks,
 
   /* Init the tasks array. */
   s->size = 0;
+  s->tasks = NULL;
+  s->tasks_ind = NULL;
   scheduler_reset(s, nr_tasks);
 }
-- 
GitLab