Update #3716. --- .../testsuites/validation/objpreinitarray.yml | 16 ++ .../validation/validation-no-clock-0.yml | 2 + testsuites/validation/tc-preinit-array.c | 150 ++++++++++++++++++ testsuites/validation/tc-score-thread.c | 49 ++++++ 4 files changed, 217 insertions(+) create mode 100644 spec/build/testsuites/validation/objpreinitarray.yml create mode 100644 testsuites/validation/tc-preinit-array.c
diff --git a/spec/build/testsuites/validation/objpreinitarray.yml b/spec/build/testsuites/validation/objpreinitarray.yml new file mode 100644 index 0000000000..3d8f5ce636 --- /dev/null +++ b/spec/build/testsuites/validation/objpreinitarray.yml @@ -0,0 +1,16 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +build-type: objects +cflags: [] +copyrights: +- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de) +cppflags: [] +cxxflags: [] +enabled-by: +- arm +- riscv +includes: [] +install: [] +links: [] +source: +- testsuites/validation/tc-preinit-array.c +type: build diff --git a/spec/build/testsuites/validation/validation-no-clock-0.yml b/spec/build/testsuites/validation/validation-no-clock-0.yml index f42bffbea8..b0210b9c0f 100644 --- a/spec/build/testsuites/validation/validation-no-clock-0.yml +++ b/spec/build/testsuites/validation/validation-no-clock-0.yml @@ -12,6 +12,8 @@ ldflags: [] links: - role: build-dependency uid: objnodebug +- role: build-dependency + uid: objpreinitarray source: - testsuites/validation/tc-acfg.c - testsuites/validation/tc-attr.c diff --git a/testsuites/validation/tc-preinit-array.c b/testsuites/validation/tc-preinit-array.c new file mode 100644 index 0000000000..4966298e8c --- /dev/null +++ b/testsuites/validation/tc-preinit-array.c @@ -0,0 +1,150 @@ +/* SPDX-License-Identifier: BSD-2-Clause */ + +/** + * @file + * + * @ingroup ScoreThreadValPreinitArray + */ + +/* + * Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de) + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * 1. Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * 2. Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + * POSSIBILITY OF SUCH DAMAGE. + */ + +/* + * This file is part of the RTEMS quality process and was automatically + * generated. If you find something that needs to be fixed or + * worded better please post a report or patch to an RTEMS mailing list + * or raise a bug report: + * + * https://www.rtems.org/bugs.html + * + * For information on updating and regenerating please refer to the How-To + * section in the Software Requirements Engineering chapter of the + * RTEMS Software Engineering manual. The manual is provided as a part of + * a release. For development sources please refer to the online + * documentation at: + * + * https://docs.rtems.org + */ + +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif + +#include <rtems.h> + +#include <rtems/test.h> + +/** + * @defgroup ScoreThreadValPreinitArray spec:/score/thread/val/preinit-array + * + * @ingroup TestsuitesValidationNoClock0 + * + * @brief Tests the ``.preinit_array`` constructor handling of the C runtime + * support. + * + * This test case performs the following actions: + * + * - Validate the ``.preinit_array`` constructor invocation. Mark that the + * test case executed. + * + * - Check that the ``.preinit_array`` constructor was called exactly once. + * + * - Check that the ``.preeinit_array`` construction was done by the Classic + * API user initialization task. + * + * - Check that the ``.preinit_array`` constructor was called before the + * global constructor invocations. + * + * @{ + */ + +static bool test_case_executed; + +static bool constructor_test_case_executed; + +static uint32_t counter; + +static uint32_t normal_constructor_counter; + +static uint32_t constructor_counter; + +static uint32_t constructor_calls; + +static rtems_id constructor_id; + +static __attribute__(( __constructor__ )) void NormalConstructor( void ) +{ + ++counter; + normal_constructor_counter = counter; +} + +static void Constructor( void ) +{ + constructor_test_case_executed = test_case_executed; + ++counter; + constructor_counter = counter; + ++constructor_calls; + constructor_id = rtems_task_self(); +} + +static RTEMS_USED RTEMS_SECTION( ".preinit_array" ) void + ( * const constructor_registration )( void ) = Constructor; + +/** + * @brief Validate the ``.preinit_array`` constructor invocation. Mark that + * the test case executed. + */ +static void ScoreThreadValPreinitArray_Action_0( void ) +{ + test_case_executed = true; + + /* + * Check that the ``.preinit_array`` constructor was called exactly once. + */ + T_eq_u32( constructor_calls, 1 ); + + /* + * Check that the ``.preeinit_array`` construction was done by the Classic + * API user initialization task. + */ + T_eq_u32( constructor_id, rtems_task_self() ); + + /* + * Check that the ``.preinit_array`` constructor was called before the global + * constructor invocations. + */ + T_eq_u32( constructor_counter, 1 ); + T_eq_u32( normal_constructor_counter, 2 ); +} + +/** + * @fn void T_case_body_ScoreThreadValPreinitArray( void ) + */ +T_TEST_CASE( ScoreThreadValPreinitArray ) +{ + ScoreThreadValPreinitArray_Action_0(); +} + +/** @} */ diff --git a/testsuites/validation/tc-score-thread.c b/testsuites/validation/tc-score-thread.c index 9ed4645417..4198df9a2d 100644 --- a/testsuites/validation/tc-score-thread.c +++ b/testsuites/validation/tc-score-thread.c @@ -95,6 +95,15 @@ * * - Clean up all used resources. * + * - Validate the global construction. Mark that the test case executed. + * + * - Check that the global constructor was called exactly once. + * + * - Check that the global construction was done by the Classic API user + * initialization task. + * + * - Check that the global constructor was called before the task entry. + * * @{ */ @@ -123,6 +132,21 @@ static ScoreThreadValThread_Context typedef ScoreThreadValThread_Context Context; +static bool test_case_executed; + +static bool constructor_test_case_executed; + +static uint32_t constructor_calls; + +static rtems_id constructor_id; + +static __attribute__(( __constructor__ )) void Constructor( void ) +{ + constructor_test_case_executed = test_case_executed; + ++constructor_calls; + constructor_id = rtems_task_self(); +} + static void TaskTerminate( rtems_tcb *executing ) { Context *ctx; @@ -289,6 +313,30 @@ static void ScoreThreadValThread_Action_1( ScoreThreadValThread_Context *ctx ) RestoreRunnerPriority(); } +/** + * @brief Validate the global construction. Mark that the test case executed. + */ +static void ScoreThreadValThread_Action_2( ScoreThreadValThread_Context *ctx ) +{ + test_case_executed = true; + + /* + * Check that the global constructor was called exactly once. + */ + T_eq_u32( constructor_calls, 1 ); + + /* + * Check that the global construction was done by the Classic API user + * initialization task. + */ + T_eq_u32( constructor_id, rtems_task_self() ); + + /* + * Check that the global constructor was called before the task entry. + */ + T_false( constructor_test_case_executed ); +} + /** * @fn void T_case_body_ScoreThreadValThread( void ) */ @@ -300,6 +348,7 @@ T_TEST_CASE_FIXTURE( ScoreThreadValThread, &ScoreThreadValThread_Fixture ) ScoreThreadValThread_Action_0( ctx ); ScoreThreadValThread_Action_1( ctx ); + ScoreThreadValThread_Action_2( ctx ); } /** @} */ -- 2.35.3 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
