score: Avoid cyclic header file dependencies

There was a cyclic dependency: For RTEMS_STATIC_ANALYSIS we needed
basedefs.h in assert.h. For RTEMS_UNREACHABLE() we needed _Assert() from
assert.h in basedefs.h.

Fix this by introducing _Debug_Unreachable() in basedefs.h.

Add RTEMS_FUNCTION_NAME to basedefs.h and use it in basedefs.h and
assert.h.

Close #4900.

1 files changed, 13 insertions, 7 deletions

diff --git a/testsuites/validation/tc-basedefs-no-debug.c b/testsuites/validation/tc-basedefs-no-debug.c
index 2566107730..479f563cdb 100644
--- a/testsuites/validation/tc-basedefs-no-debug.c
+++ b/testsuites/validation/tc-basedefs-no-debug.c
@@ -72,9 +72,9 @@
  *
  *   - Check that the string is equal to the expected statement.
  *
- * - Expand and stringify _Assert_Unreachable().
+ * - Expand RTEMS_FUNCTION_NAME.
  *
- *   - Check that the string is equal to the expected statement.
+ *   - Check that the string is equal to the expected function name.
  *
  * @{
  */
@@ -95,24 +95,30 @@ static void RtemsBasedefsValBasedefsNoDebug_Action_0( void )
     0,
     IsEqualIgnoreWhiteSpace(
       s,
-      "do{__builtin_unreachable();do{}while(0);}while(0)"
+      "__builtin_unreachable()"
     )
   );
 }
 
 /**
- * @brief Expand and stringify _Assert_Unreachable().
+ * @brief Expand RTEMS_FUNCTION_NAME.
  */
 static void RtemsBasedefsValBasedefsNoDebug_Action_1( void )
 {
   const char *s;
 
-  s = RTEMS_XSTRING( _Assert_Unreachable() );
+  s = RTEMS_FUNCTION_NAME;
 
   /*
-   * Check that the string is equal to the expected statement.
+   * Check that the string is equal to the expected function name.
    */
-  T_step_true( 1, IsEqualIgnoreWhiteSpace( s, "do{}while(0)" ) );
+  T_step_true(
+    1,
+    IsEqualIgnoreWhiteSpace(
+      s,
+      "RtemsBasedefsValBasedefsNoDebug_Action_1"
+    )
+  );
 }
 
 /**