From 89e795a42a534a7ddae702a2fb0e1a64a6e7ae7f Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 4 Jun 2024 17:19:25 +0200
Subject: [PATCH] validation: Fix bad thread dispatch validation

Where the robust thread dispatching is disabled, the
ISRDisabledOnDemandThreadDispatchTask() has to exit.

Update #3716.
---
 testsuites/validation/tc-score-fatal.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/testsuites/validation/tc-score-fatal.c b/testsuites/validation/tc-score-fatal.c
index b0a55f4664..caa869c31d 100644
--- a/testsuites/validation/tc-score-fatal.c
+++ b/testsuites/validation/tc-score-fatal.c
@@ -193,6 +193,7 @@ static void ISRDisabledOnDemandThreadDispatchTask( rtems_task_argument arg )
   rtems_interrupt_local_disable( level );
   (void) level;
   SetSelfPriority( PRIO_VERY_HIGH );
+  rtems_task_exit();
 }
 
 static void FatalBadThreadDispatchDisableLevel(