testsuites/validation/tr-fatal-idle-thread-stack-too-small.c

0001 /* SPDX-License-Identifier: BSD-2-Clause */
0002
0003 /**
0004  * @file
0005  *
0006  * @ingroup ScoreThreadValFatalIdleThreadStackTooSmall
0007  */
0008
0009 /*
0010  * Copyright (C) 2022 embedded brains GmbH & Co. KG
0011  *
0012  * Redistribution and use in source and binary forms, with or without
0013  * modification, are permitted provided that the following conditions
0014  * are met:
0015  * 1. Redistributions of source code must retain the above copyright
0016  *    notice, this list of conditions and the following disclaimer.
0017  * 2. Redistributions in binary form must reproduce the above copyright
0018  *    notice, this list of conditions and the following disclaimer in the
0019  *    documentation and/or other materials provided with the distribution.
0020  *
0021  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
0022  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
0023  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
0024  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
0025  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
0026  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
0027  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
0028  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
0029  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
0030  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
0031  * POSSIBILITY OF SUCH DAMAGE.
0032  */
0033
0034 /*
0035  * This file is part of the RTEMS quality process and was automatically
0036  * generated.  If you find something that needs to be fixed or
0037  * worded better please post a report or patch to an RTEMS mailing list
0038  * or raise a bug report:
0039  *
0040  * https://www.rtems.org/bugs.html
0041  *
0042  * For information on updating and regenerating please refer to the How-To
0043  * section in the Software Requirements Engineering chapter of the
0044  * RTEMS Software Engineering manual.  The manual is provided as a part of
0045  * a release.  For development sources please refer to the online
0046  * documentation at:
0047  *
0048  * https://docs.rtems.org
0049  */
0050
0051 #ifdef HAVE_CONFIG_H
0052 #include "config.h"
0053 #endif
0054
0055 #include <rtems.h>
0056
0057 #include "tr-fatal-idle-thread-stack-too-small.h"
0058
0059 #include <rtems/test.h>
0060
0061 /**
0062  * @defgroup ScoreThreadValFatalIdleThreadStackTooSmall \
0063  *   spec:/score/thread/val/fatal-idle-thread-stack-too-small
0064  *
0065  * @ingroup TestsuitesFatalIdleThreadStackTooSmall
0066  *
0067  * @brief Tests a fatal error caused by a too small idle thread stack size.
0068  *
0069  * This test case performs the following actions:
0070  *
0071  * - The test action is carried out by configuring a thread-local storage
0072  *   demand which leads to a too small idle thread stack size.
0073  *
0074  *   - Check that the expected fatal source is present.
0075  *
0076  *   - Check that the expected fatal code is present.
0077  *
0078  *   - Check the configured value of CONFIGURE_IDLE_TASK_STORAGE_SIZE.
0079  *
0080  * @{
0081  */
0082
0083 /**
0084  * @brief Test context for
0085  *   spec:/score/thread/val/fatal-idle-thread-stack-too-small test case.
0086  */
0087 typedef struct {
0088   /**
0089    * @brief This member contains a copy of the corresponding
0090    *   ScoreThreadValFatalIdleThreadStackTooSmall_Run() parameter.
0091    */
0092   rtems_fatal_source source;
0093
0094   /**
0095    * @brief This member contains a copy of the corresponding
0096    *   ScoreThreadValFatalIdleThreadStackTooSmall_Run() parameter.
0097    */
0098   rtems_fatal_code code;
0099 } ScoreThreadValFatalIdleThreadStackTooSmall_Context;
0100
0101 static ScoreThreadValFatalIdleThreadStackTooSmall_Context
0102   ScoreThreadValFatalIdleThreadStackTooSmall_Instance;
0103
0104 static T_fixture ScoreThreadValFatalIdleThreadStackTooSmall_Fixture = {
0105   .setup = NULL,
0106   .stop = NULL,
0107   .teardown = NULL,
0108   .scope = NULL,
0109   .initial_context = &ScoreThreadValFatalIdleThreadStackTooSmall_Instance
0110 };
0111
0112 /**
0113  * @brief The test action is carried out by configuring a thread-local storage
0114  *   demand which leads to a too small idle thread stack size.
0115  */
0116 static void ScoreThreadValFatalIdleThreadStackTooSmall_Action_0(
0117   ScoreThreadValFatalIdleThreadStackTooSmall_Context *ctx
0118 )
0119 {
0120   /* Nothing to do */
0121
0122   /*
0123    * Check that the expected fatal source is present.
0124    */
0125   T_step_eq_int( 0, ctx->source, INTERNAL_ERROR_CORE );
0126
0127   /*
0128    * Check that the expected fatal code is present.
0129    */
0130   T_step_eq_ulong(
0131     1,
0132     ctx->code,
0133     INTERNAL_ERROR_IDLE_THREAD_STACK_TOO_SMALL
0134   );
0135
0136   /*
0137    * Check the configured value of CONFIGURE_IDLE_TASK_STORAGE_SIZE.
0138    */
0139   T_step_eq_sz(
0140     2,
0141     _Stack_Allocator_allocate_for_idle_storage_size,
0142     RTEMS_ALIGN_UP(
0143       RTEMS_TASK_STORAGE_SIZE(
0144         RTEMS_MINIMUM_STACK_SIZE,
0145         RTEMS_DEFAULT_ATTRIBUTES
0146       ),
0147       CPU_INTERRUPT_STACK_ALIGNMENT
0148     )
0149   );
0150 }
0151
0152 void ScoreThreadValFatalIdleThreadStackTooSmall_Run(
0153   rtems_fatal_source source,
0154   rtems_fatal_code   code
0155 )
0156 {
0157   ScoreThreadValFatalIdleThreadStackTooSmall_Context *ctx;
0158
0159   ctx = &ScoreThreadValFatalIdleThreadStackTooSmall_Instance;
0160   ctx->source = source;
0161   ctx->code = code;
0162
0163   ctx = T_case_begin(
0164     "ScoreThreadValFatalIdleThreadStackTooSmall",
0165     &ScoreThreadValFatalIdleThreadStackTooSmall_Fixture
0166   );
0167
0168   T_plan( 3 );
0169
0170   ScoreThreadValFatalIdleThreadStackTooSmall_Action_0( ctx );
0171
0172   T_case_end();
0173 }
0174
0175 /** @} */