From 8803ab27c628eed3e4205131a8dba77490e9ecbe Mon Sep 17 00:00:00 2001
From: Miroslav Lichvar <mlichvar@redhat.com>
Date: Tue, 10 Nov 2015 14:29:52 +0100
Subject: [PATCH] sched: don't allow SCH_RemoveTimeout() with invalid non-zero
 ID

---
 sched.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/sched.c b/sched.c
index c21f40d..f9720c0 100644
--- a/sched.c
+++ b/sched.c
@@ -459,9 +459,12 @@ SCH_RemoveTimeout(SCH_TimeoutID id)
       /* Release memory back to the operating system */
       release_tqe(ptr);
 
-      break;
+      return;
     }
   }
+
+  /* Catch calls with invalid non-zero ID */
+  assert(0);
 }
 
 /* ================================================== */