score: Mark _CPU_Thread_Idle_body() as no-return

This helps the compiler to not generate dead code.

Update #5067.
This commit is contained in:
Sebastian Huber
2024-07-17 18:38:08 +02:00
committed by Joel Sherrill
parent cd748d5f6b
commit e2ce9d426a
21 changed files with 19 additions and 23 deletions

View File

@@ -388,7 +388,7 @@ uint32_t _CPU_Counter_frequency( void );
CPU_Counter_ticks _CPU_Counter_read( void );
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
typedef enum {
AARCH64_EXCEPTION_SP0_SYNCHRONOUS = 0,

View File

@@ -571,7 +571,7 @@ uint32_t _CPU_Counter_frequency( void );
CPU_Counter_ticks _CPU_Counter_read( void );
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
#if defined(ARM_MULTILIB_ARCH_V4)

View File

@@ -492,7 +492,7 @@ void _CPU_ISR_install_vector(
CPU_ISR_handler *old_handler
);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/**
* @addtogroup RTEMSScoreCPUBfinCPUContext

View File

@@ -559,7 +559,7 @@ void _CPU_ISR_install_vector(
CPU_ISR_handler *old_handler
);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/*
* _CPU_Context_switch

View File

@@ -631,7 +631,7 @@ void _CPU_ISR_install_vector(
/** @} */
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/**
* @addtogroup RTEMSScoreCPUlm32Context

View File

@@ -419,7 +419,7 @@ void _CPU_Context_Initialize(
/* end of Context handler macros */
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
#define CPU_USE_LIBC_INIT_FINI_ARRAY FALSE

View File

@@ -451,7 +451,7 @@ uint32_t _CPU_Counter_frequency( void );
CPU_Counter_ticks _CPU_Counter_read( void );
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
void bsp_interrupt_dispatch( uint32_t source );

View File

@@ -745,7 +745,7 @@ extern void mips_break( int error );
void _CPU_Initialize(void);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/*
* _CPU_Context_switch

View File

@@ -435,7 +435,7 @@ void _CPU_ISR_install_vector(
CPU_ISR_handler *old_handler
);
void *_CPU_Thread_Idle_body( uintptr_t );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t );
/*
* _CPU_Context_switch

View File

@@ -322,7 +322,7 @@ void _CPU_ISR_install_vector(
CPU_ISR_handler *old_handler
);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
void _CPU_Context_switch( Context_Control *run, Context_Control *heir );

View File

@@ -52,6 +52,4 @@ void *_CPU_Thread_Idle_body( uintptr_t ignored )
while ( true ) {
/* Do nothing */
}
return NULL;
}

View File

@@ -1043,7 +1043,7 @@ void _CPU_ISR_install_vector(
*
* XXX document implementation including references if appropriate
*/
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/**
* @brief Performs a context switch from the executing thread to the heir

View File

@@ -481,7 +481,7 @@ static inline void _CPU_ISR_install_vector(
);
}
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/*
* _CPU_Context_switch

View File

@@ -912,7 +912,7 @@ void _CPU_Context_Initialize(
void _CPU_Initialize(void);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/*
* _CPU_Context_switch

View File

@@ -195,6 +195,4 @@ void *_CPU_Thread_Idle_body( uintptr_t ignored )
while ( true ) {
__asm__ volatile ( "wfi" );
}
return NULL;
}

View File

@@ -375,7 +375,7 @@ void _CPU_Initialize(
void
);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/*
* _CPU_Context_switch

View File

@@ -523,7 +523,7 @@ void _CPU_ISR_install_vector(
CPU_ISR_handler *old_handler
);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/*
* _CPU_Context_switch

View File

@@ -963,7 +963,7 @@ void _CPU_ISR_install_vector(
CPU_ISR_handler *old_handler
);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/**
* @brief SPARC specific context switch.

View File

@@ -844,7 +844,7 @@ void _CPU_ISR_install_vector(
CPU_ISR_handler *old_handler
);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/*
* _CPU_Context_switch

View File

@@ -498,7 +498,7 @@ void _CPU_Context_Initialize(
*/
void _CPU_Initialize(void);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
/**
* @addtogroup RTEMSScoreCPUV850CPUContext

View File

@@ -275,7 +275,7 @@ void _CPU_Context_Initialize(
void _CPU_Initialize(void);
void *_CPU_Thread_Idle_body( uintptr_t ignored );
RTEMS_NO_RETURN void *_CPU_Thread_Idle_body( uintptr_t ignored );
void _CPU_Context_switch(
Context_Control *run,