From fe7012a0d1d71af20ae36d69c5bd6c31159457d9 Mon Sep 17 00:00:00 2001 From: Christian Mauderer Date: Mon, 12 Dec 2016 15:03:35 +0100 Subject: score: Prevent thread_dispatch_disable_level < 0. --- cpukit/score/include/rtems/score/threaddispatch.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cpukit/score/include/rtems/score/threaddispatch.h b/cpukit/score/include/rtems/score/threaddispatch.h index 0238f8f5d5..63eb4c6fb4 100644 --- a/cpukit/score/include/rtems/score/threaddispatch.h +++ b/cpukit/score/include/rtems/score/threaddispatch.h @@ -232,6 +232,7 @@ RTEMS_INLINE_ROUTINE void _Thread_Dispatch_enable( Per_CPU_Control *cpu_self ) _ISR_Local_enable( level ); } else { + _Assert( disable_level > 0 ); cpu_self->thread_dispatch_disable_level = disable_level - 1; } } @@ -243,6 +244,7 @@ RTEMS_INLINE_ROUTINE void _Thread_Dispatch_enable( Per_CPU_Control *cpu_self ) */ RTEMS_INLINE_ROUTINE void _Thread_Dispatch_unnest( Per_CPU_Control *cpu_self ) { + _Assert( cpu_self->thread_dispatch_disable_level > 0 ); --cpu_self->thread_dispatch_disable_level; } -- cgit v1.2.3