diff --git a/cpukit/score/src/threadchangepriority.c b/cpukit/score/src/threadchangepriority.c index ac5e544bd1..6282771540 100644 --- a/cpukit/score/src/threadchangepriority.c +++ b/cpukit/score/src/threadchangepriority.c @@ -323,6 +323,8 @@ static void _Thread_Priority_apply( ); if ( !_Priority_Actions_is_empty( &queue_context->Priority.Actions ) ) { + /* Priority actions are only created if a thread queue exists */ + _Assert( queue != NULL ); _Thread_Priority_perform_actions( queue->owner, queue_context ); }