diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-07-06 10:34:15 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-07-20 11:42:43 +0200 |
commit | 8ae5d0438c2e8f562b8d0057e8b0ec6d7b543e14 (patch) | |
tree | f245378e9e903191800c9df9a32a0af163e0a6b3 | |
parent | 21429f681dfc94881b5d26763102c1e604889a24 (diff) |
score: Add workaround for GCC bug
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108658
-rw-r--r-- | cpukit/score/cpu/no_cpu/cpuidle.c | 7 |
1 files changed, 7 insertions, 0 deletions
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 */ } |