From baf3275ebac67b3d01e1040bd644c9f3cb984bd2 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Mon, 6 Feb 2017 11:52:07 +0100
Subject: [PATCH] valgrind: always terminate options

---
 src/kernel/race.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/kernel/race.c b/src/kernel/race.c
index 8b2632753..c57d98a24 100644
--- a/src/kernel/race.c
+++ b/src/kernel/race.c
@@ -112,6 +112,9 @@ static void rc_setoption(race *rc, int key, const char *value) {
             assert(i<MAXOPTIONS || !"MAXOPTIONS too small for race");
             v = rc->options->value+i;
             rc->options->key[i] = key;
+            if (i+1<MAXOPTIONS) {
+                rc->options->key[i+1]=RCO_NONE;
+            }
         }
     }
     assert(v);