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-21 09:32:33 +0200 |
commit | e12c25838b79e9463e0d918b09f138734c7bdc1b (patch) | |
tree | 9fd4a70e3addd2a8b49e8be18a7237256949fc7d | |
parent | 3a754a3de26fa5154a71b5e9ebcef65ac607d298 (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 */ } |