blob: 44b0ba1bc921b773058d08d14f76980bd071f974 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
|
// 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: test6.c (exception_handling\pal_except\test6)
**
** Purpose: Test to make sure the PAL_EXCEPT block is executed
** after an exception occurs in the PAL_TRY block
** that contains multiple PAL_TRY-PAL_EXCEPT blocks
**
**
**===================================================================*/
#include <palsuite.h>
/* Execution flags */
BOOL bTry = FALSE;
BOOL bExcept = FALSE;
BOOL bTry_nested = FALSE;
BOOL bExcept_nested = FALSE;
BOOL bTry_nested2 = FALSE;
BOOL bExcept_nested2 = FALSE;
int __cdecl main(int argc, char *argv[])
{
if (0 != PAL_Initialize(argc, argv))
{
return FAIL;
}
/* First block */
PAL_TRY
{
int* p = 0x00000000; /* NULL pointer */
bTry = TRUE; /* indicate we hit the PAL_TRY block */
/* Second PAL_TRY block */
PAL_TRY
{
bTry_nested = TRUE;
/* Third PAL_TRY block*/
PAL_TRY
{
bTry_nested2 = TRUE;
*p = 13; /* causes an access violation exception */
Fail("ERROR: code was executed after the nested access violation.\n");
}
PAL_EXCEPT(EXCEPTION_EXECUTE_HANDLER)
{
if (!bTry_nested2)
{
Fail("ERROR: Third PAL_EXCEPT was hit without "
"third PAL_TRY being hit.\n");
}
bExcept_nested2 = TRUE;
}
PAL_ENDTRY;
*p = 13; /* causes an access violation exception */
Fail("ERROR: code was executed after the nested access violation.\n");
}
PAL_EXCEPT(EXCEPTION_EXECUTE_HANDLER)
{
if (!bTry_nested)
{
Fail("ERROR: Second PAL_EXCEPT was hit without "
"second PAL_TRY being hit.\n");
}
if (!bExcept_nested2)
{
Fail("ERROR: second PAL_EXCEPT was hit without "
"third PAL_EXCEPT being hit.\n");
}
bExcept_nested = TRUE;
}
PAL_ENDTRY;
*p = 13; /* causes an access violation exception */
Fail("ERROR: code was executed after the access violation.\n");
}
PAL_EXCEPT(EXCEPTION_EXECUTE_HANDLER)
{
if (!bTry)
{
Fail("ERROR: PAL_EXCEPT was hit without PAL_TRY being hit.\n");
}
if (!bExcept_nested)
{
Fail("ERROR: first PAL_EXCEPT was hit without "
"second PAL_EXCEPT being hit.\n");
}
if (!bExcept_nested2)
{
Fail("ERROR: first PAL_EXCEPT was hit without "
"third PAL_EXCEPT being hit.\n");
}
bExcept = TRUE; /* indicate we hit the PAL_EXCEPT block */
}
PAL_ENDTRY;
if (!bTry)
{
Trace("ERROR: the code in the "
"first PAL_TRY block was not executed.\n");
}
if (!bExcept)
{
Trace("ERROR: the code in the "
"first PAL_EXCEPT block was not executed.\n");
}
if (!bTry_nested)
{
Trace("ERROR: the code in the "
"second PAL_TRY block was not executed.\n");
}
if (!bExcept_nested)
{
Trace("ERROR: the code in the "
"second PAL_EXCEPT block was not executed.\n");
}
if (!bTry_nested2)
{
Trace("ERROR: the code in the "
"third PAL_TRY block was not executed.\n");
}
if (!bExcept_nested2)
{
Trace("ERROR: the code in the "
"third PAL_EXCEPT block was not executed.\n");
}
/* did we hit all the code blocks? */
if(!bTry || !bExcept ||
!bTry_nested || !bExcept_nested ||
!bTry_nested2 || !bExcept_nested2)
{
Fail("");
}
PAL_Terminate();
return PASS;
}
|
