[GSN-EDF] add additional sanity check

1 files changed, 3 insertions, 1 deletions

diff --git a/kernel/sched_gsn_edf.c b/kernel/sched_gsn_edf.c
index bd7da5ef56..f6ba5215c2 100644
--- a/kernel/sched_gsn_edf.c
+++ b/kernel/sched_gsn_edf.c
@@ -341,8 +341,9 @@ static reschedule_check_t gsnedf_scheduler_tick(void)
          * this makes sure that at the end of real-time mode
          * no task  "runs away forever".
          */
-        if (is_realtime(t))
+        if (is_realtime(t)) {
                 TRACE_CUR("before dec: time_slice == %u\n", t->time_slice);
+        }
 
         if (is_realtime(t) && t->time_slice && !--t->time_slice) {
                 if (!is_np(t)) { /* np tasks will be preempted when they become
@@ -436,6 +437,7 @@ static int gsnedf_schedule(struct task_struct * prev,
         /* sanity checking */
         BUG_ON(entry->scheduled && entry->scheduled != prev);
         BUG_ON(entry->scheduled && !is_realtime(prev));
+        BUG_ON(is_realtime(prev) && !entry->scheduled);
 
         /* (0) Determine state */
         exists      = entry->scheduled != NULL;