[PATCH v2 4/6] testsuite: Add machine exception resume test

[Kinsey Moore]

Add a test to verify that intercepted exceptions can be resolved and
execution can be resumed.
---
 spec/build/testsuites/sptests/grp.yml       |  2 +
 spec/build/testsuites/sptests/spfatal35.yml | 20 +++++
 testsuites/sptests/spfatal35/init.c         | 93 +++++++++++++++++++++
 testsuites/sptests/spfatal35/spfatal35.doc  |  7 ++
 testsuites/sptests/spfatal35/spfatal35.scn  |  2 +
 5 files changed, 124 insertions(+)
 create mode 100644 spec/build/testsuites/sptests/spfatal35.yml
 create mode 100644 testsuites/sptests/spfatal35/init.c
 create mode 100644 testsuites/sptests/spfatal35/spfatal35.doc
 create mode 100644 testsuites/sptests/spfatal35/spfatal35.scn

diff --git a/spec/build/testsuites/sptests/grp.yml b/spec/build/testsuites/sptests/grp.yml
index d3cd53fb4a..550336c56d 100644
--- a/spec/build/testsuites/sptests/grp.yml
+++ b/spec/build/testsuites/sptests/grp.yml
@@ -257,6 +257,8 @@ links:
   uid: spfatal33
 - role: build-dependency
   uid: spfatal34
+- role: build-dependency
+  uid: spfatal35
 - role: build-dependency
   uid: spfifo01
 - role: build-dependency
diff --git a/spec/build/testsuites/sptests/spfatal35.yml b/spec/build/testsuites/sptests/spfatal35.yml
new file mode 100644
index 0000000000..668e26a22a
--- /dev/null
+++ b/spec/build/testsuites/sptests/spfatal35.yml
@@ -0,0 +1,20 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: test-program
+cflags: []
+copyrights:
+- Copyright (C) 2021 On-Line Applications Research (OAR)
+cppflags: []
+cxxflags: []
+enabled-by:
+- RTEMS_EXCEPTION_MANAGER
+features: c cprogram
+includes: []
+ldflags: []
+links: []
+source:
+- testsuites/sptests/spfatal35/init.c
+stlib: []
+target: testsuites/sptests/spfatal35.exe
+type: build
+use-after: []
+use-before: []
diff --git a/testsuites/sptests/spfatal35/init.c b/testsuites/sptests/spfatal35/init.c
new file mode 100644
index 0000000000..e2246588ec
--- /dev/null
+++ b/testsuites/sptests/spfatal35/init.c
@@ -0,0 +1,93 @@
+/* SPDX-License-Identifier: BSD-2-Clause */
+
+/**
+ * @file
+ *
+ * @ingroup sptests
+ */
+
+/*
+ * Copyright (C) 2021 On-Line Applications Research Corporation (OAR)
+ *
+ * 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.
+ */
+
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
+
+#include <rtems.h>
+#include <rtems/exception.h>
+#include <rtems/score/cpuimpl.h>
+
+#include <tmacros.h>
+
+const char rtems_test_name[] = "SPFATAL 35";
+
+static void Init( rtems_task_argument arg )
+{
+  TEST_BEGIN();
+  _CPU_Instruction_illegal();
+  TEST_END();
+  rtems_test_exit(0);
+}
+
+static void fatal_extension(
+  rtems_fatal_source source,
+  bool always_set_to_false,
+  rtems_fatal_code code
+)
+{
+  CPU_Exception_frame *ef;
+  Exception_Class eClass;
+
+  if ( source != RTEMS_FATAL_SOURCE_EXCEPTION ) {
+    return;
+  }
+
+  rtems_test_assert( !always_set_to_false );
+
+  ef = (rtems_exception_frame *) code;
+  eClass = Exception_Manager_Get_class( ef );
+
+  rtems_test_assert( eClass == EXCEPTION_UNKNOWN );
+
+  Exception_Manager_Set_resume_next_instruction( ef );
+
+  Exception_Manager_resume( ef );
+}
+
+#define CONFIGURE_INITIAL_EXTENSIONS \
+  { .fatal = fatal_extension }, \
+  RTEMS_TEST_INITIAL_EXTENSION
+
+#define CONFIGURE_APPLICATION_DOES_NOT_NEED_CLOCK_DRIVER
+
+#define CONFIGURE_APPLICATION_DISABLE_FILESYSTEM
+
+#define CONFIGURE_MAXIMUM_TASKS 1
+
+#define CONFIGURE_RTEMS_INIT_TASKS_TABLE
+
+#define CONFIGURE_INIT
+
+#include <rtems/confdefs.h>
diff --git a/testsuites/sptests/spfatal35/spfatal35.doc b/testsuites/sptests/spfatal35/spfatal35.doc
new file mode 100644
index 0000000000..e041f21391
--- /dev/null
+++ b/testsuites/sptests/spfatal35/spfatal35.doc
@@ -0,0 +1,7 @@
+This file describes the concepts tested by this test set.
+
+test set name: spfatal35
+
+concepts:
+
+  - Ensure that a RTEMS_FATAL_SOURCE_EXCEPTION can be recovered from.
diff --git a/testsuites/sptests/spfatal35/spfatal35.scn b/testsuites/sptests/spfatal35/spfatal35.scn
new file mode 100644
index 0000000000..0890b04556
--- /dev/null
+++ b/testsuites/sptests/spfatal35/spfatal35.scn
@@ -0,0 +1,2 @@
+*** TEST SPFATAL 35 ***
+*** END OF TEST SPFATAL 35 ***
-- 
2.30.2