[PATCH 01/10] validation: Test the global construction

[Sebastian Huber]

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