From f8d4f16da6c29353c2c71cf6f1bbf213ca43bd42 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Thu, 6 Jul 2023 10:34:15 +0200
Subject: score: Add workaround for GCC bug

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108658

This GCC bug leads to an incomplete code coverage status.

Update #4932.
---
 cpukit/score/cpu/no_cpu/cpuidle.c | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'cpukit/score/cpu/no_cpu/cpuidle.c')

diff --git a/cpukit/score/cpu/no_cpu/cpuidle.c b/cpukit/score/cpu/no_cpu/cpuidle.c
index bff1309d39..a6001e73b0 100644
--- a/cpukit/score/cpu/no_cpu/cpuidle.c
+++ b/cpukit/score/cpu/no_cpu/cpuidle.c
@@ -33,6 +33,13 @@
 
 void *_CPU_Thread_Idle_body( uintptr_t ignored )
 {
+  /*
+   * This is a workaround for:
+   *
+   * https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108658
+   */
+  __asm__ volatile ("");
+
   while ( true ) {
     /* Do nothing */
   }
-- 
cgit v1.2.3