summaryrefslogtreecommitdiff
path: root/src/pal/tests/palsuite/exception_handling/pal_finally
diff options
context:
space:
mode:
authorJiyoung Yun <jy910.yun@samsung.com>2016-11-23 10:09:09 (GMT)
committerJiyoung Yun <jy910.yun@samsung.com>2016-11-23 10:09:09 (GMT)
commit4b4aad7217d3292650e77eec2cf4c198ea9c3b4b (patch)
tree98110734c91668dfdbb126fcc0e15ddbd93738ca /src/pal/tests/palsuite/exception_handling/pal_finally
parentfa45f57ed55137c75ac870356a1b8f76c84b229c (diff)
downloadcoreclr-4b4aad7217d3292650e77eec2cf4c198ea9c3b4b.zip
coreclr-4b4aad7217d3292650e77eec2cf4c198ea9c3b4b.tar.gz
coreclr-4b4aad7217d3292650e77eec2cf4c198ea9c3b4b.tar.bz2
Imported Upstream version 1.1.0upstream/1.1.0
Diffstat (limited to 'src/pal/tests/palsuite/exception_handling/pal_finally')
-rw-r--r--src/pal/tests/palsuite/exception_handling/pal_finally/CMakeLists.txt4
-rw-r--r--src/pal/tests/palsuite/exception_handling/pal_finally/test1/CMakeLists.txt19
-rw-r--r--src/pal/tests/palsuite/exception_handling/pal_finally/test1/pal_finally.c302
-rw-r--r--src/pal/tests/palsuite/exception_handling/pal_finally/test1/testinfo.dat19
4 files changed, 344 insertions, 0 deletions
diff --git a/src/pal/tests/palsuite/exception_handling/pal_finally/CMakeLists.txt b/src/pal/tests/palsuite/exception_handling/pal_finally/CMakeLists.txt
new file mode 100644
index 0000000..f6aa0cb
--- /dev/null
+++ b/src/pal/tests/palsuite/exception_handling/pal_finally/CMakeLists.txt
@@ -0,0 +1,4 @@
+cmake_minimum_required(VERSION 2.8.12.2)
+
+add_subdirectory(test1)
+
diff --git a/src/pal/tests/palsuite/exception_handling/pal_finally/test1/CMakeLists.txt b/src/pal/tests/palsuite/exception_handling/pal_finally/test1/CMakeLists.txt
new file mode 100644
index 0000000..5d947ad
--- /dev/null
+++ b/src/pal/tests/palsuite/exception_handling/pal_finally/test1/CMakeLists.txt
@@ -0,0 +1,19 @@
+cmake_minimum_required(VERSION 2.8.12.2)
+
+set(CMAKE_INCLUDE_CURRENT_DIR ON)
+
+set(SOURCES
+ pal_finally.c
+)
+
+add_executable(paltest_pal_finally_test1
+ ${SOURCES}
+)
+
+add_dependencies(paltest_pal_finally_test1 coreclrpal)
+
+target_link_libraries(paltest_pal_finally_test1
+ pthread
+ m
+ coreclrpal
+)
diff --git a/src/pal/tests/palsuite/exception_handling/pal_finally/test1/pal_finally.c b/src/pal/tests/palsuite/exception_handling/pal_finally/test1/pal_finally.c
new file mode 100644
index 0000000..f278f98
--- /dev/null
+++ b/src/pal/tests/palsuite/exception_handling/pal_finally/test1/pal_finally.c
@@ -0,0 +1,302 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+// See the LICENSE file in the project root for more information.
+
+/*=====================================================================
+**
+** Source: pal_finally.c (test 3)
+**
+** Purpose: Tests the PAL implementation of the PAL_FINALLY in the
+** presence of a call stack. An exception is forced and
+** passed to two nested exception filters for consideration.
+** The first filter returns EXCEPTION_CONTINUE_SEARCH so the
+** second can run and return EXCEPTION_EXECUTE_HANDLER. The
+** initial exception handler should be skipped, and the
+** second executed, and all the PAL_FINALLY blocks handled
+**
+**
+**===================================================================*/
+#include <palsuite.h>
+
+BOOL bFilterCS = FALSE;
+BOOL bFilterEE = FALSE;
+BOOL bFinally1 = FALSE;
+BOOL bFinally2 = FALSE;
+BOOL bFinally3 = FALSE;
+BOOL bFinally4 = FALSE;
+BOOL bTry1 = FALSE;
+BOOL bTry2 = FALSE;
+BOOL bExcept1 = FALSE;
+BOOL bExcept2 = FALSE;
+BOOL bContinued = FALSE;
+const int nValidator = 12321;
+
+LONG ContSearchFilter(EXCEPTION_POINTERS* ep, LPVOID pnTestInt)
+{
+
+ /* let the main know we've hit the filter function */
+ bFilterCS = TRUE;
+
+ if (!bTry1 || !bTry2)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The ContSearch filter was hit without PAL_TRY being hit.\n");
+ }
+
+ if (bFilterEE)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The ContSearch filter was hit after the ExecuteException "
+ "filter.\n");
+ }
+
+ return EXCEPTION_CONTINUE_SEARCH;
+}
+
+LONG ExecExeptionFilter(EXCEPTION_POINTERS* ep, LPVOID pnTestInt)
+{
+ /* let the main know we've hit the filter function */
+ bFilterEE = TRUE;
+
+ if (!bTry1 || !bTry2)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The ContSearch filter was hit without PAL_TRY being hit.\n");
+ }
+
+ if (!bFilterCS)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The ExecExeption filter was hit before the ContSearch "
+ "filter.\n");
+ }
+ return EXCEPTION_EXECUTE_HANDLER;
+}
+
+void NestedFunc1 (void)
+{
+ int* p = 0x00000000; /* pointer to NULL */
+
+ PAL_TRY
+ {
+ PAL_TRY
+ {
+
+ if (bExcept1 || bExcept2)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " PAL_EXCEPT_FILTER was hit before PAL_TRY.\n");
+ }
+ bTry2 = TRUE; /* indicate we hit the inner PAL_TRY block */
+ *p = 13; /* causes an access violation exception */
+
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " We executed beyond the trapping code.\n");
+ }
+ PAL_FINALLY
+ {
+ if (!bTry1)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The first finally handler was hit without the outer "
+ "PAL_TRY's code being hit.\n");
+ }
+ if (!bTry2)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The first finally handler was hit without the inner "
+ "PAL_TRY's code being hit.\n");
+ }
+ if (!bFilterCS)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The first finally handler was hit without the inner "
+ "filter being hit.\n");
+ }
+ if (!bFilterEE)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The first finally handler handler was hit without the "
+ "outer filter being hit.\n");
+ }
+ bFinally1 = TRUE; /* indicate we hit the first finally block */
+ }
+ PAL_ENDTRY;
+ }
+ PAL_EXCEPT_FILTER(ContSearchFilter, (LPVOID)&nValidator)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The dummy handler was "
+ "being hit.\n");
+ bExcept2 = TRUE; /* indicate we hit the inner block */
+ }
+ PAL_ENDTRY;
+
+}
+
+void NestedFunc2 (void)
+{
+ PAL_TRY
+ {
+ NestedFunc1();
+ }
+ PAL_FINALLY
+ {
+ if (!bFinally1)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " The second finally handler handler was hit without the "
+ " top level one being hit.\n");
+ }
+ bFinally2 = TRUE;
+ }
+ PAL_ENDTRY ;
+}
+
+int __cdecl main(int argc, char *argv[])
+{
+ if (0 != PAL_Initialize(argc, argv))
+ {
+ return FAIL;
+ }
+
+
+ /*
+ ** test to make sure we get into the second exception block only based
+ ** on the return codes of the filters
+ */
+
+ PAL_TRY
+ {
+ PAL_TRY
+ {
+ PAL_TRY
+ {
+ if (bExcept1 || bExcept2)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going"
+ " on. PAL_EXCEPT_FILTER was hit before PAL_TRY.\n");
+ }
+ bTry1 = TRUE; /* indicate we hit the outer PAL_TRY block */
+
+ NestedFunc2();
+
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " We executed beyond the trapping code.\n");
+ }
+ PAL_FINALLY
+ {
+ if (!bFinally2)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going"
+ " on. Finally handlers hit out of order (2->3)\n");
+ }
+ bFinally3 = TRUE;
+ }
+ PAL_ENDTRY;
+ }
+ PAL_EXCEPT_FILTER(ExecExeptionFilter, (LPVOID)&nValidator)
+ {
+ if (!bTry1)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " PAL_EXCEPT_FILTER's handler was hit without the outer "
+ "PAL_TRY's code being hit.\n");
+ }
+ if (!bTry2)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " PAL_EXCEPT_FILTER's handler was hit without the inner "
+ "PAL_TRY's code being hit.\n");
+ }
+ if (!bFilterCS)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " PAL_EXCEPT_FILTER's handler was hit without the inner "
+ "filter being hit.\n");
+ }
+ if (!bFilterEE)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " PAL_EXCEPT_FILTER's handler was hit without the outer "
+ "filter being hit.\n");
+ }
+ bExcept1 = TRUE; /* indicate we hit the outer block */
+ }
+ PAL_ENDTRY;
+
+ if (bFinally4)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " Finally handler # 4 executed before it should be \n");
+ }
+ }
+ PAL_FINALLY
+ {
+ if (!bExcept1 || bExcept2)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " Exceptions handlers hit in wierd ways\n");
+ }
+ if (!bFinally3)
+ {
+ Fail("PAL_EXCEPT_FILTER: ERROR -> Something weird is going on."
+ " Finally handlers hit out of order 3->4)\n");
+ }
+
+ bFinally4 = TRUE;
+ }
+ PAL_ENDTRY;
+
+ if (!bTry1)
+ {
+ Trace("PAL_EXCEPT_FILTER: ERROR -> It appears the code in the outer"
+ " PAL_TRY block was not executed.\n");
+ }
+
+ if (!bTry2)
+ {
+ Trace("PAL_EXCEPT_FILTER: ERROR -> It appears the code in the inner"
+ " PAL_TRY block was not executed.\n");
+ }
+
+ if (bExcept2)
+ {
+ Trace("PAL_EXCEPT_FILTER: ERROR -> It appears the code in the "
+ "inner PAL_EXCEPT_FILTER block was executed.\n");
+ }
+ if (!bExcept1)
+ {
+ Trace("PAL_EXCEPT_FILTER: ERROR -> It appears the code in the "
+ "outer PAL_EXCEPT_FILTER block was not executed.\n");
+ }
+
+ if (!bFilterCS)
+ {
+ Trace("PAL_EXCEPT_FILTER: ERROR -> It appears the code in the "
+ "search continuing filter"
+ " function was not executed.\n");
+ }
+ if (!bFilterEE)
+ {
+ Trace("PAL_EXCEPT_FILTER: ERROR -> It appears the code in the "
+ "execute handler filter"
+ " function was not executed.\n");
+ }
+
+ /* did we hit all the code blocks? */
+ if (!bFinally1 || !bFinally2 || !bFinally3 || !bFinally4)
+ {
+ Fail("");
+ }
+ if(!bTry1 || !bTry2 || !bExcept1 || bExcept2 || !bFilterEE || !bFilterCS )
+ {
+ Fail("");
+ }
+
+
+ PAL_Terminate();
+ return PASS;
+
+}
+
diff --git a/src/pal/tests/palsuite/exception_handling/pal_finally/test1/testinfo.dat b/src/pal/tests/palsuite/exception_handling/pal_finally/test1/testinfo.dat
new file mode 100644
index 0000000..5c26243
--- /dev/null
+++ b/src/pal/tests/palsuite/exception_handling/pal_finally/test1/testinfo.dat
@@ -0,0 +1,19 @@
+# Licensed to the .NET Foundation under one or more agreements.
+# The .NET Foundation licenses this file to you under the MIT license.
+# See the LICENSE file in the project root for more information.
+
+Version = 1.0
+Section = exception_handling
+Function = PAL_FINALLY
+Name = Test for nested PAL_FINALLY
+Type = DEFAULT
+EXE1 = pal_finally
+LANG = cpp
+Description
+= Tests the PAL implementation of the PAL_FINALLY in the presence
+= of a call stack. An exception is forced and passed to two nested
+= exception filters for consideration. The first filter returns
+= EXCEPTION_CONTINUE_SEARCH so the second can run and return
+= EXCEPTION_EXECUTE_HANDLER. The initial exception handler should
+= be skipped, and the second executed, and all the PAL_FINALLY
+= blocks handled.