From a030c2dd1a95efc450598e592c134c69c73b2b0e Mon Sep 17 00:00:00 2001 From: Jonathan Herman Date: Sun, 10 Apr 2011 20:30:21 -0400 Subject: Better bug ons --- litmus/sched_edf_hsb.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'litmus/sched_edf_hsb.c') diff --git a/litmus/sched_edf_hsb.c b/litmus/sched_edf_hsb.c index 70a0ddd4ad5a..5fe546d156c0 100644 --- a/litmus/sched_edf_hsb.c +++ b/litmus/sched_edf_hsb.c @@ -171,6 +171,7 @@ static struct sched_plugin edf_hsb_plugin __cacheline_aligned_in_smp; */ static inline int head_in_list(struct list_head *head) { + BUG_ON(!head); return !(head->next == head->prev && head->prev == head); } @@ -858,6 +859,7 @@ static server_t* next_eligible_slack_server(void) while (!list_empty(&slack_queue)) { next_slack = list_entry(slack_queue.next, server_t, list); + BUG_ON(!next_slack); if (lt_after(next_slack->deadline, litmus_clock()) && lt_after(next_slack->budget, SLACK_MIN)) { -- cgit v1.2.2