RTOS/rtems
1
0
Fork 0
forked from Imagelibrary/rtems
Code Pull Requests Activity

validation: Format comment blocks

Browse Source
This commit is contained in:
Sebastian Huber
2021-03-02 07:54:17 +01:00
parent 441824ac7a
commit c0c4b8b8b5
9 changed files with 136 additions and 164 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
testsuites/validation/tc-barrier-create.c
View File

@@ -278,8 +278,7 @@ static void RtemsBarrierReqCreate_Pre_Class_Prepare(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqCreate_Pre_Class_Default: { case RtemsBarrierReqCreate_Pre_Class_Default: {
/* /*
* The ``attribute_set`` parameter shall specify the default * The ``attribute_set`` parameter shall specify the default class.
* class.
*/ */
/* Nothing to do */ /* Nothing to do */
break; break;
@@ -287,8 +286,8 @@ static void RtemsBarrierReqCreate_Pre_Class_Prepare(
case RtemsBarrierReqCreate_Pre_Class_Manual: { case RtemsBarrierReqCreate_Pre_Class_Manual: {
/* /*
* The ``attribute_set`` parameter shall specify the manual * The ``attribute_set`` parameter shall specify the manual release
* release class. * class.
*/ */
ctx->attribute_set |= RTEMS_BARRIER_MANUAL_RELEASE; ctx->attribute_set |= RTEMS_BARRIER_MANUAL_RELEASE;
break; break;
@@ -296,8 +295,8 @@ static void RtemsBarrierReqCreate_Pre_Class_Prepare(
case RtemsBarrierReqCreate_Pre_Class_Auto: { case RtemsBarrierReqCreate_Pre_Class_Auto: {
/* /*
* The ``attribute_set`` parameter shall specify the * The ``attribute_set`` parameter shall specify the automatic release
* automatic release class. * class.
*/ */
ctx->attribute_set |= RTEMS_BARRIER_AUTOMATIC_RELEASE; ctx->attribute_set |= RTEMS_BARRIER_AUTOMATIC_RELEASE;
break; break;
@@ -343,8 +342,7 @@ static void RtemsBarrierReqCreate_Pre_Id_Prepare(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqCreate_Pre_Id_Valid: { case RtemsBarrierReqCreate_Pre_Id_Valid: {
/* /*
* The ``id`` parameter shall reference an object * The ``id`` parameter shall reference an object identifier value.
* identifier value.
*/ */
ctx->id = &ctx->id_value; ctx->id = &ctx->id_value;
break; break;
@@ -352,8 +350,7 @@ static void RtemsBarrierReqCreate_Pre_Id_Prepare(
case RtemsBarrierReqCreate_Pre_Id_Null: { case RtemsBarrierReqCreate_Pre_Id_Null: {
/* /*
* The ``id`` parameter shall be * The ``id`` parameter shall be NULL.
* NULL.
*/ */
ctx->id = NULL; ctx->id = NULL;
break; break;
@@ -399,8 +396,7 @@ static void RtemsBarrierReqCreate_Post_Status_Check(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqCreate_Post_Status_Ok: { case RtemsBarrierReqCreate_Post_Status_Ok: {
/* /*
* The return status of rtems_barrier_create() shall be * The return status of rtems_barrier_create() shall be RTEMS_SUCCESSFUL.
* RTEMS_SUCCESSFUL.
*/ */
T_rsc_success( ctx->status ); T_rsc_success( ctx->status );
break; break;
@@ -435,8 +431,7 @@ static void RtemsBarrierReqCreate_Post_Status_Check(
case RtemsBarrierReqCreate_Post_Status_TooMany: { case RtemsBarrierReqCreate_Post_Status_TooMany: {
/* /*
* The return status of rtems_barrier_create() shall be * The return status of rtems_barrier_create() shall be RTEMS_TOO_MANY.
* RTEMS_TOO_MANY.
*/ */
T_rsc( ctx->status, RTEMS_TOO_MANY ); T_rsc( ctx->status, RTEMS_TOO_MANY );
break; break;
@@ -492,7 +487,8 @@ static void RtemsBarrierReqCreate_Post_Class_Check(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqCreate_Post_Class_NoObj: { case RtemsBarrierReqCreate_Post_Class_NoObj: {
/* /*
* The barrier class is not applicable since there was no barrier created. * The barrier class is not applicable since there was no barrier
* created.
*/ */
/* Not applicable */ /* Not applicable */
break; break;
@@ -534,8 +530,9 @@ static void RtemsBarrierReqCreate_Post_IdValue_Check(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqCreate_Post_IdValue_Assigned: { case RtemsBarrierReqCreate_Post_IdValue_Assigned: {
/* /*
* The value of the object identifier variable shall be equal to the object * The value of the object identifier variable shall be equal to the
* identifier of the barrier created by the rtems_barrier_create() call. * object identifier of the barrier created by the rtems_barrier_create()
* call.
*/ */
T_eq_ptr( ctx->id, &ctx->id_value ); T_eq_ptr( ctx->id, &ctx->id_value );
T_ne_u32( ctx->id_value, INVALID_ID ); T_ne_u32( ctx->id_value, INVALID_ID );

9
testsuites/validation/tc-barrier-delete.c
View File

@@ -184,8 +184,7 @@ static void RtemsBarrierReqDelete_Pre_Id_Prepare(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqDelete_Pre_Id_Valid: { case RtemsBarrierReqDelete_Pre_Id_Valid: {
/* /*
* The ``id`` parameter shall be associated with * The ``id`` parameter shall be associated with the barrier.
* the barrier.
*/ */
ctx->id = ctx->barrier_id; ctx->id = ctx->barrier_id;
break; break;
@@ -212,8 +211,7 @@ static void RtemsBarrierReqDelete_Post_Status_Check(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqDelete_Post_Status_Ok: { case RtemsBarrierReqDelete_Post_Status_Ok: {
/* /*
* The return status of rtems_barrier_delete() shall be * The return status of rtems_barrier_delete() shall be RTEMS_SUCCESSFUL.
* RTEMS_SUCCESSFUL.
*/ */
ctx->barrier_id = 0; ctx->barrier_id = 0;
T_rsc_success( ctx->status ); T_rsc_success( ctx->status );
@@ -222,8 +220,7 @@ static void RtemsBarrierReqDelete_Post_Status_Check(
case RtemsBarrierReqDelete_Post_Status_InvId: { case RtemsBarrierReqDelete_Post_Status_InvId: {
/* /*
* The return status of rtems_barrier_delete() shall be * The return status of rtems_barrier_delete() shall be RTEMS_INVALID_ID.
* RTEMS_INVALID_ID.
*/ */
T_rsc( ctx->status, RTEMS_INVALID_ID ); T_rsc( ctx->status, RTEMS_INVALID_ID );
break; break;

15
testsuites/validation/tc-barrier-release.c
View File

@@ -222,8 +222,8 @@ static void RtemsBarrierReqRelease_Pre_Barrier_Prepare(
case RtemsBarrierReqRelease_Pre_Barrier_Manual: { case RtemsBarrierReqRelease_Pre_Barrier_Manual: {
/* /*
* The ``id`` parameter shall be associated with a * The ``id`` parameter shall be associated with a manual release
* manual release barrier. * barrier.
*/ */
ctx->id = ctx->manual_release_id; ctx->id = ctx->manual_release_id;
break; break;
@@ -231,8 +231,8 @@ static void RtemsBarrierReqRelease_Pre_Barrier_Prepare(
case RtemsBarrierReqRelease_Pre_Barrier_Auto: { case RtemsBarrierReqRelease_Pre_Barrier_Auto: {
/* /*
* The ``id`` parameter shall be associated with an * The ``id`` parameter shall be associated with an automatic release
* automatic release barrier. * barrier.
*/ */
ctx->id = ctx->auto_release_id; ctx->id = ctx->auto_release_id;
break; break;
@@ -261,8 +261,7 @@ static void RtemsBarrierReqRelease_Pre_Released_Prepare(
case RtemsBarrierReqRelease_Pre_Released_Null: { case RtemsBarrierReqRelease_Pre_Released_Null: {
/* /*
* The ``released`` parameter shall be * The ``released`` parameter shall be NULL.
* NULL.
*/ */
ctx->released = NULL; ctx->released = NULL;
break; break;
@@ -356,8 +355,8 @@ static void RtemsBarrierReqRelease_Post_Released_Check(
case RtemsBarrierReqRelease_Post_Released_Unchanged: { case RtemsBarrierReqRelease_Post_Released_Unchanged: {
/* /*
* The value of variable for the number of released tasks shall be unchanged * The value of variable for the number of released tasks shall be
* by the rtems_barrier_release() call. * unchanged by the rtems_barrier_release() call.
*/ */
T_eq_u32( ctx->released_value, RELEASED_INVALID_VALUE ); T_eq_u32( ctx->released_value, RELEASED_INVALID_VALUE );
break; break;

23
testsuites/validation/tc-barrier-wait.c
View File

@@ -272,8 +272,8 @@ static void RtemsBarrierReqWait_Pre_Barrier_Prepare(
case RtemsBarrierReqWait_Pre_Barrier_Manual: { case RtemsBarrierReqWait_Pre_Barrier_Manual: {
/* /*
* The ``id`` parameter shall be associated with a * The ``id`` parameter shall be associated with a manual release
* manual release barrier. * barrier.
*/ */
ctx->id = ctx->manual_release_id; ctx->id = ctx->manual_release_id;
break; break;
@@ -281,8 +281,8 @@ static void RtemsBarrierReqWait_Pre_Barrier_Prepare(
case RtemsBarrierReqWait_Pre_Barrier_Auto: { case RtemsBarrierReqWait_Pre_Barrier_Auto: {
/* /*
* The ``id`` parameter shall be associated with an * The ``id`` parameter shall be associated with an automatic release
* automatic release barrier. * barrier.
*/ */
ctx->id = ctx->auto_release_id; ctx->id = ctx->auto_release_id;
break; break;
@@ -301,8 +301,7 @@ static void RtemsBarrierReqWait_Pre_Timeout_Prepare(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqWait_Pre_Timeout_Ticks: { case RtemsBarrierReqWait_Pre_Timeout_Ticks: {
/* /*
* The ``released`` parameter shall be a clock tick * The ``released`` parameter shall be a clock tick interval.
* interval.
*/ */
ctx->timeout = 2; ctx->timeout = 2;
break; break;
@@ -310,8 +309,7 @@ static void RtemsBarrierReqWait_Pre_Timeout_Prepare(
case RtemsBarrierReqWait_Pre_Timeout_Forever: { case RtemsBarrierReqWait_Pre_Timeout_Forever: {
/* /*
* The ``released`` parameter shall be * The ``released`` parameter shall be RTEMS_NO_TIMEOUT.
* RTEMS_NO_TIMEOUT.
*/ */
ctx->timeout = RTEMS_NO_TIMEOUT; ctx->timeout = RTEMS_NO_TIMEOUT;
break; break;
@@ -378,8 +376,7 @@ static void RtemsBarrierReqWait_Post_Status_Check(
switch ( state ) { switch ( state ) {
case RtemsBarrierReqWait_Post_Status_Ok: { case RtemsBarrierReqWait_Post_Status_Ok: {
/* /*
* The return status of rtems_barrier_wait() shall be * The return status of rtems_barrier_wait() shall be RTEMS_SUCCESSFUL.
* RTEMS_SUCCESSFUL.
*/ */
T_rsc_success( ctx->status ); T_rsc_success( ctx->status );
break; break;
@@ -387,8 +384,7 @@ static void RtemsBarrierReqWait_Post_Status_Check(
case RtemsBarrierReqWait_Post_Status_InvId: { case RtemsBarrierReqWait_Post_Status_InvId: {
/* /*
* The return status of rtems_barrier_wait() shall be * The return status of rtems_barrier_wait() shall be RTEMS_INVALID_ID.
* RTEMS_INVALID_ID.
*/ */
T_rsc( ctx->status, RTEMS_INVALID_ID ); T_rsc( ctx->status, RTEMS_INVALID_ID );
break; break;
@@ -396,8 +392,7 @@ static void RtemsBarrierReqWait_Post_Status_Check(
case RtemsBarrierReqWait_Post_Status_Timeout: { case RtemsBarrierReqWait_Post_Status_Timeout: {
/* /*
* The return status of rtems_barrier_wait() shall be * The return status of rtems_barrier_wait() shall be RTEMS_TIMEOUT.
* RTEMS_TIMEOUT.
*/ */
T_rsc( ctx->status, RTEMS_TIMEOUT ); T_rsc( ctx->status, RTEMS_TIMEOUT );
break; break;

32
testsuites/validation/tc-message-construct-errors.c
View File

@@ -316,8 +316,8 @@ static void RtemsMessageReqConstructErrors_Pre_MaxPending_Prepare(
switch ( state ) { switch ( state ) {
case RtemsMessageReqConstructErrors_Pre_MaxPending_Valid: { case RtemsMessageReqConstructErrors_Pre_MaxPending_Valid: {
/* /*
* The maximum number of pending messages of the message queue configuration * The maximum number of pending messages of the message queue
* shall be valid. * configuration shall be valid.
*/ */
ctx->config.maximum_pending_messages = MAX_PENDING_MESSAGES; ctx->config.maximum_pending_messages = MAX_PENDING_MESSAGES;
break; break;
@@ -325,8 +325,8 @@ static void RtemsMessageReqConstructErrors_Pre_MaxPending_Prepare(
case RtemsMessageReqConstructErrors_Pre_MaxPending_Zero: { case RtemsMessageReqConstructErrors_Pre_MaxPending_Zero: {
/* /*
* The maximum number of pending messages of the message queue configuration * The maximum number of pending messages of the message queue
* shall be zero. * configuration shall be zero.
*/ */
ctx->config.maximum_pending_messages = 0; ctx->config.maximum_pending_messages = 0;
break; break;
@@ -334,9 +334,9 @@ static void RtemsMessageReqConstructErrors_Pre_MaxPending_Prepare(
case RtemsMessageReqConstructErrors_Pre_MaxPending_Big: { case RtemsMessageReqConstructErrors_Pre_MaxPending_Big: {
/* /*
* The maximum number of pending messages of the message queue configuration * The maximum number of pending messages of the message queue
* shall be big enough so that a calculation to get the message buffer * configuration shall be big enough so that a calculation to get the
* storage area size overflows. * message buffer storage area size overflows.
*/ */
ctx->config.maximum_pending_messages = UINT32_MAX; ctx->config.maximum_pending_messages = UINT32_MAX;
break; break;
@@ -373,9 +373,9 @@ static void RtemsMessageReqConstructErrors_Pre_MaxSize_Prepare(
case RtemsMessageReqConstructErrors_Pre_MaxSize_Big: { case RtemsMessageReqConstructErrors_Pre_MaxSize_Big: {
/* /*
* The maximum message size of the message queue configuration * The maximum message size of the message queue configuration shall be
* shall be big enough so that a calculation to get the message buffer * big enough so that a calculation to get the message buffer storage
* storage area size overflows. * area size overflows.
*/ */
ctx->config.maximum_message_size = SIZE_MAX; ctx->config.maximum_message_size = SIZE_MAX;
break; break;
@@ -454,8 +454,8 @@ static void RtemsMessageReqConstructErrors_Pre_AreaSize_Prepare(
switch ( state ) { switch ( state ) {
case RtemsMessageReqConstructErrors_Pre_AreaSize_Valid: { case RtemsMessageReqConstructErrors_Pre_AreaSize_Valid: {
/* /*
* The message buffer storage area size of the message queue configuration * The message buffer storage area size of the message queue
* shall be valid. * configuration shall be valid.
*/ */
ctx->config.storage_size = sizeof( buffers ); ctx->config.storage_size = sizeof( buffers );
break; break;
@@ -463,8 +463,8 @@ static void RtemsMessageReqConstructErrors_Pre_AreaSize_Prepare(
case RtemsMessageReqConstructErrors_Pre_AreaSize_Invalid: { case RtemsMessageReqConstructErrors_Pre_AreaSize_Invalid: {
/* /*
* The message buffer storage area size of the message queue configuration * The message buffer storage area size of the message queue
* shall be invalid. * configuration shall be invalid.
*/ */
ctx->config.storage_size = SIZE_MAX; ctx->config.storage_size = SIZE_MAX;
break; break;
@@ -592,8 +592,8 @@ static void RtemsMessageReqConstructErrors_Post_IdValue_Check(
switch ( state ) { switch ( state ) {
case RtemsMessageReqConstructErrors_Post_IdValue_Assigned: { case RtemsMessageReqConstructErrors_Post_IdValue_Assigned: {
/* /*
* The value of the object identifier variable shall be equal to the object * The value of the object identifier variable shall be equal to the
* identifier of the message queue constructed by the * object identifier of the message queue constructed by the
* rtems_message_queue_construct() call. * rtems_message_queue_construct() call.
*/ */
T_eq_ptr( ctx->id, &ctx->id_value ); T_eq_ptr( ctx->id, &ctx->id_value );

101
testsuites/validation/tc-signal-catch.c
View File

@@ -279,8 +279,7 @@ static void RtemsSignalReqCatch_Pre_Preempt_Prepare(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Pre_Preempt_Yes: { case RtemsSignalReqCatch_Pre_Preempt_Yes: {
/* /*
* The ``mode_set`` parameter shall specify that * The ``mode_set`` parameter shall specify that preemption is enabled.
* preemption is enabled.
*/ */
#if defined(RTEMS_SMP) #if defined(RTEMS_SMP)
if ( rtems_configuration_get_maximum_processors() == 1 ) { if ( rtems_configuration_get_maximum_processors() == 1 ) {
@@ -294,8 +293,7 @@ static void RtemsSignalReqCatch_Pre_Preempt_Prepare(
case RtemsSignalReqCatch_Pre_Preempt_No: { case RtemsSignalReqCatch_Pre_Preempt_No: {
/* /*
* The ``mode_set`` parameter shall specify that * The ``mode_set`` parameter shall specify that preemption is disabled.
* preemption is disabled.
*/ */
ctx->mode |= RTEMS_NO_PREEMPT; ctx->mode |= RTEMS_NO_PREEMPT;
break; break;
@@ -314,8 +312,7 @@ static void RtemsSignalReqCatch_Pre_Timeslice_Prepare(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Pre_Timeslice_Yes: { case RtemsSignalReqCatch_Pre_Timeslice_Yes: {
/* /*
* The ``mode_set`` parameter shall specify that * The ``mode_set`` parameter shall specify that timeslicing is enabled.
* timeslicing is enabled.
*/ */
ctx->mode |= RTEMS_TIMESLICE; ctx->mode |= RTEMS_TIMESLICE;
break; break;
@@ -323,8 +320,7 @@ static void RtemsSignalReqCatch_Pre_Timeslice_Prepare(
case RtemsSignalReqCatch_Pre_Timeslice_No: { case RtemsSignalReqCatch_Pre_Timeslice_No: {
/* /*
* The ``mode_set`` parameter shall specify that * The ``mode_set`` parameter shall specify that timeslicing is disabled.
* timeslicing is disabled.
*/ */
ctx->normal_mode |= RTEMS_TIMESLICE; ctx->normal_mode |= RTEMS_TIMESLICE;
break; break;
@@ -343,8 +339,8 @@ static void RtemsSignalReqCatch_Pre_ASR_Prepare(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Pre_ASR_Yes: { case RtemsSignalReqCatch_Pre_ASR_Yes: {
/* /*
* The ``mode_set`` parameter shall specify that * The ``mode_set`` parameter shall specify that ASR processing is
* ASR processing is enabled. * enabled.
*/ */
/* We cannot disable ASR processing at normal task level for this test */ /* We cannot disable ASR processing at normal task level for this test */
break; break;
@@ -352,8 +348,8 @@ static void RtemsSignalReqCatch_Pre_ASR_Prepare(
case RtemsSignalReqCatch_Pre_ASR_No: { case RtemsSignalReqCatch_Pre_ASR_No: {
/* /*
* The ``mode_set`` parameter shall specify that * The ``mode_set`` parameter shall specify that ASR processing is
* ASR processing is disabled. * disabled.
*/ */
ctx->mode |= RTEMS_NO_ASR; ctx->mode |= RTEMS_NO_ASR;
break; break;
@@ -372,8 +368,7 @@ static void RtemsSignalReqCatch_Pre_IntLvl_Prepare(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Pre_IntLvl_Zero: { case RtemsSignalReqCatch_Pre_IntLvl_Zero: {
/* /*
* The ``mode_set`` parameter shall specify an interrupt * The ``mode_set`` parameter shall specify an interrupt level of zero.
* level of zero.
*/ */
#if !defined(RTEMS_SMP) && CPU_ENABLE_ROBUST_THREAD_DISPATCH == FALSE #if !defined(RTEMS_SMP) && CPU_ENABLE_ROBUST_THREAD_DISPATCH == FALSE
ctx->normal_mode |= RTEMS_INTERRUPT_LEVEL( 1 ); ctx->normal_mode |= RTEMS_INTERRUPT_LEVEL( 1 );
@@ -383,8 +378,7 @@ static void RtemsSignalReqCatch_Pre_IntLvl_Prepare(
case RtemsSignalReqCatch_Pre_IntLvl_Positive: { case RtemsSignalReqCatch_Pre_IntLvl_Positive: {
/* /*
* The ``mode_set`` parameter shall specify a positive * The ``mode_set`` parameter shall specify a positive interrupt level.
* interrupt level.
*/ */
ctx->mode |= RTEMS_INTERRUPT_LEVEL( 1 ); ctx->mode |= RTEMS_INTERRUPT_LEVEL( 1 );
break; break;
@@ -403,8 +397,7 @@ static void RtemsSignalReqCatch_Post_Status_Check(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Post_Status_Ok: { case RtemsSignalReqCatch_Post_Status_Ok: {
/* /*
* The return status of rtems_signal_catch() shall be * The return status of rtems_signal_catch() shall be RTEMS_SUCCESSFUL.
* RTEMS_SUCCESSFUL.
*/ */
T_rsc_success( ctx->catch_status ); T_rsc_success( ctx->catch_status );
break; break;
@@ -414,8 +407,8 @@ static void RtemsSignalReqCatch_Post_Status_Check(
/* /*
* Where the system is configured with SMP support, if the scheduler does * Where the system is configured with SMP support, if the scheduler does
* not support the no-preempt mode, then the return status of * not support the no-preempt mode, then the return status of
* rtems_signal_catch() shall be RTEMS_NOT_IMPLEMENTED, * rtems_signal_catch() shall be RTEMS_NOT_IMPLEMENTED, otherwise the
* otherwise the return status shall be RTEMS_SUCCESSFUL. * return status shall be RTEMS_SUCCESSFUL.
*/ */
#if defined(RTEMS_SMP) #if defined(RTEMS_SMP)
if ( rtems_configuration_get_maximum_processors() > 1 ) { if ( rtems_configuration_get_maximum_processors() > 1 ) {
@@ -434,8 +427,8 @@ static void RtemsSignalReqCatch_Post_Status_Check(
* Where the system is configured with SMP support and the configured * Where the system is configured with SMP support and the configured
* processor maximum is greater than one, or the CPU port enabled robust * processor maximum is greater than one, or the CPU port enabled robust
* thread dispatching, the return status of rtems_signal_catch() shall be * thread dispatching, the return status of rtems_signal_catch() shall be
* RTEMS_NOT_IMPLEMENTED, otherwise the return status * RTEMS_NOT_IMPLEMENTED, otherwise the return status shall be
* shall be RTEMS_SUCCESSFUL. * RTEMS_SUCCESSFUL.
*/ */
#if CPU_ENABLE_ROBUST_THREAD_DISPATCH == TRUE #if CPU_ENABLE_ROBUST_THREAD_DISPATCH == TRUE
T_rsc( ctx->catch_status, RTEMS_NOT_IMPLEMENTED ); T_rsc( ctx->catch_status, RTEMS_NOT_IMPLEMENTED );
@@ -464,9 +457,10 @@ static void RtemsSignalReqCatch_Post_Send_Check(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Post_Send_New: { case RtemsSignalReqCatch_Post_Send_New: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call was successful, the ASR processing shall be done with the specified * the call was successful, the ASR processing shall be done with the
* handler, otherwise the ASR information of the caller shall be unchanged. * specified handler, otherwise the ASR information of the caller shall
* be unchanged.
*/ */
T_rsc_success( ctx->send_status ); T_rsc_success( ctx->send_status );
@@ -484,10 +478,10 @@ static void RtemsSignalReqCatch_Post_Send_Check(
case RtemsSignalReqCatch_Post_Send_NotDef: { case RtemsSignalReqCatch_Post_Send_NotDef: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call was successful, the ASR processing shall be deactivated and all * the call was successful, the ASR processing shall be deactivated and
* pending signals shall be cleared, otherwise the ASR information of the * all pending signals shall be cleared, otherwise the ASR information of
* caller shall be unchanged. * the caller shall be unchanged.
*/ */
if ( ctx->catch_status == RTEMS_SUCCESSFUL ) { if ( ctx->catch_status == RTEMS_SUCCESSFUL ) {
T_rsc( ctx->send_status, RTEMS_NOT_DEFINED ); T_rsc( ctx->send_status, RTEMS_NOT_DEFINED );
@@ -516,9 +510,9 @@ static void RtemsSignalReqCatch_Post_Preempt_Check(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Post_Preempt_Yes: { case RtemsSignalReqCatch_Post_Preempt_Yes: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call with a valid handler was successful, the ASR processing shall be * the call with a valid handler was successful, the ASR processing shall
* done with preemption enabled. * be done with preemption enabled.
*/ */
CheckHandlerMode( ctx, RTEMS_PREEMPT_MASK, RTEMS_PREEMPT ); CheckHandlerMode( ctx, RTEMS_PREEMPT_MASK, RTEMS_PREEMPT );
break; break;
@@ -526,9 +520,9 @@ static void RtemsSignalReqCatch_Post_Preempt_Check(
case RtemsSignalReqCatch_Post_Preempt_No: { case RtemsSignalReqCatch_Post_Preempt_No: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call with a valid handler was successful, the ASR processing shall be * the call with a valid handler was successful, the ASR processing shall
* done with preemption disabled. * be done with preemption disabled.
*/ */
CheckHandlerMode( ctx, RTEMS_PREEMPT_MASK, RTEMS_NO_PREEMPT ); CheckHandlerMode( ctx, RTEMS_PREEMPT_MASK, RTEMS_NO_PREEMPT );
break; break;
@@ -547,9 +541,9 @@ static void RtemsSignalReqCatch_Post_Timeslice_Check(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Post_Timeslice_Yes: { case RtemsSignalReqCatch_Post_Timeslice_Yes: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call with a valid handler was successful, the ASR processing shall be * the call with a valid handler was successful, the ASR processing shall
* done with timeslicing enabled. * be done with timeslicing enabled.
*/ */
CheckHandlerMode( ctx, RTEMS_TIMESLICE_MASK, RTEMS_TIMESLICE ); CheckHandlerMode( ctx, RTEMS_TIMESLICE_MASK, RTEMS_TIMESLICE );
break; break;
@@ -557,9 +551,9 @@ static void RtemsSignalReqCatch_Post_Timeslice_Check(
case RtemsSignalReqCatch_Post_Timeslice_No: { case RtemsSignalReqCatch_Post_Timeslice_No: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call with a valid handler was successful, the ASR processing shall be * the call with a valid handler was successful, the ASR processing shall
* done with timeslicing disabled. * be done with timeslicing disabled.
*/ */
CheckHandlerMode( ctx, RTEMS_TIMESLICE_MASK, RTEMS_NO_TIMESLICE ); CheckHandlerMode( ctx, RTEMS_TIMESLICE_MASK, RTEMS_NO_TIMESLICE );
break; break;
@@ -578,9 +572,9 @@ static void RtemsSignalReqCatch_Post_ASR_Check(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Post_ASR_Yes: { case RtemsSignalReqCatch_Post_ASR_Yes: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call with a valid handler was successful, the ASR processing shall be * the call with a valid handler was successful, the ASR processing shall
* done with ASR processing enabled. * be done with ASR processing enabled.
*/ */
CheckHandlerMode( ctx, RTEMS_ASR_MASK, RTEMS_ASR ); CheckHandlerMode( ctx, RTEMS_ASR_MASK, RTEMS_ASR );
break; break;
@@ -588,9 +582,9 @@ static void RtemsSignalReqCatch_Post_ASR_Check(
case RtemsSignalReqCatch_Post_ASR_No: { case RtemsSignalReqCatch_Post_ASR_No: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call with a valid handler was successful, the ASR processing shall be * the call with a valid handler was successful, the ASR processing shall
* done with ASR processing disabled. * be done with ASR processing disabled.
*/ */
CheckHandlerMode( ctx, RTEMS_ASR_MASK, RTEMS_NO_ASR ); CheckHandlerMode( ctx, RTEMS_ASR_MASK, RTEMS_NO_ASR );
break; break;
@@ -609,9 +603,9 @@ static void RtemsSignalReqCatch_Post_IntLvl_Check(
switch ( state ) { switch ( state ) {
case RtemsSignalReqCatch_Post_IntLvl_Zero: { case RtemsSignalReqCatch_Post_IntLvl_Zero: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call with a valid handler was successful, the ASR processing shall be * the call with a valid handler was successful, the ASR processing shall
* done with interrupts enabled. * be done with interrupts enabled.
*/ */
CheckHandlerMode( ctx, RTEMS_INTERRUPT_MASK, RTEMS_INTERRUPT_LEVEL( 0 ) ); CheckHandlerMode( ctx, RTEMS_INTERRUPT_MASK, RTEMS_INTERRUPT_LEVEL( 0 ) );
break; break;
@@ -619,9 +613,10 @@ static void RtemsSignalReqCatch_Post_IntLvl_Check(
case RtemsSignalReqCatch_Post_IntLvl_Positive: { case RtemsSignalReqCatch_Post_IntLvl_Positive: {
/* /*
* When a signal set is sent to the caller of rtems_signal_catch() and the * When a signal set is sent to the caller of rtems_signal_catch() and
* call with a valid handler was successful, the ASR processing shall be * the call with a valid handler was successful, the ASR processing shall
* done with interrupts disabled according to the specified interrupt level. * be done with interrupts disabled according to the specified interrupt
* level.
*/ */
CheckHandlerMode( ctx, RTEMS_INTERRUPT_MASK, RTEMS_INTERRUPT_LEVEL( 1 ) ); CheckHandlerMode( ctx, RTEMS_INTERRUPT_MASK, RTEMS_INTERRUPT_LEVEL( 1 ) );
break; break;

24
testsuites/validation/tc-signal-send.c
View File

@@ -380,8 +380,7 @@ static void RtemsSignalReqSend_Pre_Task_Prepare(
case RtemsSignalReqSend_Pre_Task_Self: { case RtemsSignalReqSend_Pre_Task_Self: {
/* /*
* The ``id`` parameter shall be associated with * The ``id`` parameter shall be associated with the calling task.
* the calling task.
*/ */
ctx->id = RTEMS_SELF; ctx->id = RTEMS_SELF;
break; break;
@@ -389,8 +388,8 @@ static void RtemsSignalReqSend_Pre_Task_Prepare(
case RtemsSignalReqSend_Pre_Task_Other: { case RtemsSignalReqSend_Pre_Task_Other: {
/* /*
* The ``id`` parameter shall be associated with a * The ``id`` parameter shall be associated with a task other than the
* task other than the calling task. * calling task.
*/ */
ctx->id = ctx->worker_id; ctx->id = ctx->worker_id;
break; break;
@@ -465,8 +464,8 @@ static void RtemsSignalReqSend_Pre_ASR_Prepare(
switch ( state ) { switch ( state ) {
case RtemsSignalReqSend_Pre_ASR_Enabled: { case RtemsSignalReqSend_Pre_ASR_Enabled: {
/* /*
* When the target task has ASR processing enabled, the rtems_signal_send() * When the target task has ASR processing enabled, the
* directive shall be called. * rtems_signal_send() directive shall be called.
*/ */
ctx->mode = RTEMS_DEFAULT_MODES; ctx->mode = RTEMS_DEFAULT_MODES;
break; break;
@@ -474,8 +473,8 @@ static void RtemsSignalReqSend_Pre_ASR_Prepare(
case RtemsSignalReqSend_Pre_ASR_Disabled: { case RtemsSignalReqSend_Pre_ASR_Disabled: {
/* /*
* When the target task has ASR processing disabled, the rtems_signal_send() * When the target task has ASR processing disabled, the
* directive shall be called. * rtems_signal_send() directive shall be called.
*/ */
ctx->mode = RTEMS_NO_ASR; ctx->mode = RTEMS_NO_ASR;
break; break;
@@ -523,8 +522,7 @@ static void RtemsSignalReqSend_Post_Status_Check(
switch ( state ) { switch ( state ) {
case RtemsSignalReqSend_Post_Status_Ok: { case RtemsSignalReqSend_Post_Status_Ok: {
/* /*
* The return status of rtems_signal_send() shall be * The return status of rtems_signal_send() shall be RTEMS_SUCCESSFUL.
* RTEMS_SUCCESSFUL.
*/ */
T_rsc_success( ctx->status ); T_rsc_success( ctx->status );
break; break;
@@ -541,8 +539,7 @@ static void RtemsSignalReqSend_Post_Status_Check(
case RtemsSignalReqSend_Post_Status_InvId: { case RtemsSignalReqSend_Post_Status_InvId: {
/* /*
* The return status of rtems_signal_send() shall be * The return status of rtems_signal_send() shall be RTEMS_INVALID_ID.
* RTEMS_INVALID_ID.
*/ */
T_rsc( ctx->status, RTEMS_INVALID_ID ); T_rsc( ctx->status, RTEMS_INVALID_ID );
break; break;
@@ -550,8 +547,7 @@ static void RtemsSignalReqSend_Post_Status_Check(
case RtemsSignalReqSend_Post_Status_NotDef: { case RtemsSignalReqSend_Post_Status_NotDef: {
/* /*
* The return status of rtems_signal_send() shall be * The return status of rtems_signal_send() shall be RTEMS_NOT_DEFINED.
* RTEMS_NOT_DEFINED.
*/ */
T_rsc( ctx->status, RTEMS_NOT_DEFINED ); T_rsc( ctx->status, RTEMS_NOT_DEFINED );
break; break;

27
testsuites/validation/tc-task-construct-errors.c
View File

@@ -482,8 +482,8 @@ static void RtemsTaskReqConstructErrors_Pre_TLS_Prepare(
switch ( state ) { switch ( state ) {
case RtemsTaskReqConstructErrors_Pre_TLS_Enough: { case RtemsTaskReqConstructErrors_Pre_TLS_Enough: {
/* /*
* The maximum thread-local storage size of the task configuration shall be * The maximum thread-local storage size of the task configuration shall
* greater than or equal to the thread-local storage size. * be greater than or equal to the thread-local storage size.
*/ */
ctx->config.maximum_thread_local_storage_size = MAX_TLS_SIZE; ctx->config.maximum_thread_local_storage_size = MAX_TLS_SIZE;
break; break;
@@ -491,8 +491,8 @@ static void RtemsTaskReqConstructErrors_Pre_TLS_Prepare(
case RtemsTaskReqConstructErrors_Pre_TLS_Small: { case RtemsTaskReqConstructErrors_Pre_TLS_Small: {
/* /*
* The maximum thread-local storage size of the task configuration shall be * The maximum thread-local storage size of the task configuration shall
* less than the thread-local storage size. * be less than the thread-local storage size.
*/ */
ctx->config.maximum_thread_local_storage_size = 0; ctx->config.maximum_thread_local_storage_size = 0;
break; break;
@@ -567,8 +567,7 @@ static void RtemsTaskReqConstructErrors_Post_Status_Check(
switch ( state ) { switch ( state ) {
case RtemsTaskReqConstructErrors_Post_Status_Ok: { case RtemsTaskReqConstructErrors_Post_Status_Ok: {
/* /*
* The return status of rtems_task_construct() shall be * The return status of rtems_task_construct() shall be RTEMS_SUCCESSFUL.
* RTEMS_SUCCESSFUL.
*/ */
T_rsc_success( ctx->status ); T_rsc_success( ctx->status );
break; break;
@@ -612,8 +611,7 @@ static void RtemsTaskReqConstructErrors_Post_Status_Check(
case RtemsTaskReqConstructErrors_Post_Status_TooMany: { case RtemsTaskReqConstructErrors_Post_Status_TooMany: {
/* /*
* The return status of rtems_task_construct() shall be * The return status of rtems_task_construct() shall be RTEMS_TOO_MANY.
* RTEMS_TOO_MANY.
*/ */
T_rsc( ctx->status, RTEMS_TOO_MANY ); T_rsc( ctx->status, RTEMS_TOO_MANY );
break; break;
@@ -644,8 +642,8 @@ static void RtemsTaskReqConstructErrors_Post_Name_Check(
switch ( state ) { switch ( state ) {
case RtemsTaskReqConstructErrors_Post_Name_Valid: { case RtemsTaskReqConstructErrors_Post_Name_Valid: {
/* /*
* The unique object name shall identify the task constructed by * The unique object name shall identify the task constructed by the
* the rtems_task_construct() call. * rtems_task_construct() call.
*/ */
id = 0; id = 0;
sc = rtems_task_ident( NAME, RTEMS_SEARCH_LOCAL_NODE, &id ); sc = rtems_task_ident( NAME, RTEMS_SEARCH_LOCAL_NODE, &id );
@@ -676,8 +674,9 @@ static void RtemsTaskReqConstructErrors_Post_IdValue_Check(
switch ( state ) { switch ( state ) {
case RtemsTaskReqConstructErrors_Post_IdValue_Assigned: { case RtemsTaskReqConstructErrors_Post_IdValue_Assigned: {
/* /*
* The value of the object identifier variable shall be equal to the object * The value of the object identifier variable shall be equal to the
* identifier of the task constructed by the rtems_task_construct() call. * object identifier of the task constructed by the
* rtems_task_construct() call.
*/ */
T_eq_ptr( ctx->id, &ctx->id_value ); T_eq_ptr( ctx->id, &ctx->id_value );
T_ne_u32( ctx->id_value, INVALID_ID ); T_ne_u32( ctx->id_value, INVALID_ID );
@@ -773,8 +772,8 @@ static void RtemsTaskReqConstructErrors_Post_StoFree_Check(
case RtemsTaskReqConstructErrors_Post_StoFree_No: { case RtemsTaskReqConstructErrors_Post_StoFree_No: {
/* /*
* The storage free handler of the task configuration shall not be invoked * The storage free handler of the task configuration shall not be
* during the rtems_task_construct() call. * invoked during the rtems_task_construct() call.
*/ */
T_eq_u32( ctx->storage_free_calls, 0 ); T_eq_u32( ctx->storage_free_calls, 0 );
break; break;

38
testsuites/validation/tc-task-create-errors.c
View File

@@ -356,8 +356,7 @@ static void RtemsTaskReqCreateErrors_Pre_SysTsk_Prepare(
switch ( state ) { switch ( state ) {
case RtemsTaskReqCreateErrors_Pre_SysTsk_Yes: { case RtemsTaskReqCreateErrors_Pre_SysTsk_Yes: {
/* /*
* The ``attribute_set`` parameter shall specify a system * The ``attribute_set`` parameter shall specify a system task.
* task.
*/ */
ctx->attributes = RTEMS_SYSTEM_TASK; ctx->attributes = RTEMS_SYSTEM_TASK;
break; break;
@@ -365,8 +364,7 @@ static void RtemsTaskReqCreateErrors_Pre_SysTsk_Prepare(
case RtemsTaskReqCreateErrors_Pre_SysTsk_No: { case RtemsTaskReqCreateErrors_Pre_SysTsk_No: {
/* /*
* The ``attribute_set`` parameter shall specify an * The ``attribute_set`` parameter shall specify an application task.
* application task.
*/ */
ctx->attributes = RTEMS_DEFAULT_ATTRIBUTES; ctx->attributes = RTEMS_DEFAULT_ATTRIBUTES;
break; break;
@@ -447,8 +445,8 @@ static void RtemsTaskReqCreateErrors_Pre_Stack_Prepare(
switch ( state ) { switch ( state ) {
case RtemsTaskReqCreateErrors_Pre_Stack_Normal: { case RtemsTaskReqCreateErrors_Pre_Stack_Normal: {
/* /*
* The ``initial_priority`` parameter shall be greater than or * The ``initial_priority`` parameter shall be greater than or equal to
* equal to the configured minimum size. * the configured minimum size.
*/ */
ctx->stack_size = RTEMS_MINIMUM_STACK_SIZE; ctx->stack_size = RTEMS_MINIMUM_STACK_SIZE;
break; break;
@@ -456,8 +454,8 @@ static void RtemsTaskReqCreateErrors_Pre_Stack_Prepare(
case RtemsTaskReqCreateErrors_Pre_Stack_Small: { case RtemsTaskReqCreateErrors_Pre_Stack_Small: {
/* /*
* The ``initial_priority`` parameter shall be less than the * The ``initial_priority`` parameter shall be less than the configured
* configured minimum size. * minimum size.
*/ */
ctx->stack_size = 0; ctx->stack_size = 0;
break; break;
@@ -465,8 +463,8 @@ static void RtemsTaskReqCreateErrors_Pre_Stack_Prepare(
case RtemsTaskReqCreateErrors_Pre_Stack_Huge: { case RtemsTaskReqCreateErrors_Pre_Stack_Huge: {
/* /*
* The ``initial_priority`` parameter shall be greater than the * The ``initial_priority`` parameter shall be greater than the maximum
* maximum stack size which can be allocated by the system. * stack size which can be allocated by the system.
*/ */
ctx->stack_size = SIZE_MAX; ctx->stack_size = SIZE_MAX;
break; break;
@@ -512,8 +510,7 @@ static void RtemsTaskReqCreateErrors_Post_Status_Check(
switch ( state ) { switch ( state ) {
case RtemsTaskReqCreateErrors_Post_Status_Ok: { case RtemsTaskReqCreateErrors_Post_Status_Ok: {
/* /*
* The return status of rtems_task_create() shall be * The return status of rtems_task_create() shall be RTEMS_SUCCESSFUL.
* RTEMS_SUCCESSFUL.
*/ */
T_rsc_success( ctx->status ); T_rsc_success( ctx->status );
break; break;
@@ -530,8 +527,7 @@ static void RtemsTaskReqCreateErrors_Post_Status_Check(
case RtemsTaskReqCreateErrors_Post_Status_InvName: { case RtemsTaskReqCreateErrors_Post_Status_InvName: {
/* /*
* The return status of rtems_task_create() shall be * The return status of rtems_task_create() shall be RTEMS_INVALID_NAME.
* RTEMS_INVALID_NAME.
*/ */
T_rsc( ctx->status, RTEMS_INVALID_NAME ); T_rsc( ctx->status, RTEMS_INVALID_NAME );
break; break;
@@ -548,8 +544,7 @@ static void RtemsTaskReqCreateErrors_Post_Status_Check(
case RtemsTaskReqCreateErrors_Post_Status_TooMany: { case RtemsTaskReqCreateErrors_Post_Status_TooMany: {
/* /*
* The return status of rtems_task_create() shall be * The return status of rtems_task_create() shall be RTEMS_TOO_MANY.
* RTEMS_TOO_MANY.
*/ */
T_rsc( ctx->status, RTEMS_TOO_MANY ); T_rsc( ctx->status, RTEMS_TOO_MANY );
break; break;
@@ -557,8 +552,7 @@ static void RtemsTaskReqCreateErrors_Post_Status_Check(
case RtemsTaskReqCreateErrors_Post_Status_Unsat: { case RtemsTaskReqCreateErrors_Post_Status_Unsat: {
/* /*
* The return status of rtems_task_create() shall be * The return status of rtems_task_create() shall be RTEMS_UNSATISFIED.
* RTEMS_UNSATISFIED.
*/ */
T_rsc( ctx->status, RTEMS_UNSATISFIED ); T_rsc( ctx->status, RTEMS_UNSATISFIED );
break; break;
@@ -580,8 +574,8 @@ static void RtemsTaskReqCreateErrors_Post_Name_Check(
switch ( state ) { switch ( state ) {
case RtemsTaskReqCreateErrors_Post_Name_Valid: { case RtemsTaskReqCreateErrors_Post_Name_Valid: {
/* /*
* The unique object name shall identify the task created by * The unique object name shall identify the task created by the
* the rtems_task_create() call. * rtems_task_create() call.
*/ */
id = 0; id = 0;
sc = rtems_task_ident( NAME, RTEMS_SEARCH_LOCAL_NODE, &id ); sc = rtems_task_ident( NAME, RTEMS_SEARCH_LOCAL_NODE, &id );
@@ -612,8 +606,8 @@ static void RtemsTaskReqCreateErrors_Post_IdValue_Check(
switch ( state ) { switch ( state ) {
case RtemsTaskReqCreateErrors_Post_IdValue_Assigned: { case RtemsTaskReqCreateErrors_Post_IdValue_Assigned: {
/* /*
* The value of the object identifier variable shall be equal to the object * The value of the object identifier variable shall be equal to the
* identifier of the task created by the rtems_task_create() call. * object identifier of the task created by the rtems_task_create() call.
*/ */
T_eq_ptr( ctx->id, &ctx->id_value ); T_eq_ptr( ctx->id, &ctx->id_value );
T_ne_u32( ctx->id_value, INVALID_ID ); T_ne_u32( ctx->id_value, INVALID_ID );