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-25 08:04:08 +0200 |
commit | f8d4f16da6c29353c2c71cf6f1bbf213ca43bd42 (patch) | |
tree | ad949b74deaa3a3839f557af2187f0d9f1808d67 /cpukit/score/cpu/no_cpu/cpuidle.c | |
parent | validation: Task entry return for idle threads (diff) | |
download | rtems-f8d4f16da6c29353c2c71cf6f1bbf213ca43bd42.tar.bz2 |
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.
Diffstat (limited to 'cpukit/score/cpu/no_cpu/cpuidle.c')
-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 */ } |