/****************************************************************************
|
/****************************************************************************
|
* *
|
* *
|
* GNAT COMPILER COMPONENTS *
|
* GNAT COMPILER COMPONENTS *
|
* *
|
* *
|
* S E H - I N I T *
|
* S E H - I N I T *
|
* *
|
* *
|
* C Implementation File *
|
* C Implementation File *
|
* *
|
* *
|
* Copyright (C) 2005-2011, Free Software Foundation, Inc. *
|
* Copyright (C) 2005-2011, Free Software Foundation, Inc. *
|
* *
|
* *
|
* GNAT is free software; you can redistribute it and/or modify it under *
|
* GNAT is free software; you can redistribute it and/or modify it under *
|
* terms of the GNU General Public License as published by the Free Soft- *
|
* terms of the GNU General Public License as published by the Free Soft- *
|
* ware Foundation; either version 3, or (at your option) any later ver- *
|
* ware Foundation; either version 3, or (at your option) any later ver- *
|
* sion. GNAT is distributed in the hope that it will be useful, but WITH- *
|
* sion. GNAT is distributed in the hope that it will be useful, but WITH- *
|
* OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
|
* OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
|
* or FITNESS FOR A PARTICULAR PURPOSE. *
|
* or FITNESS FOR A PARTICULAR PURPOSE. *
|
* *
|
* *
|
* As a special exception under Section 7 of GPL version 3, you are granted *
|
* As a special exception under Section 7 of GPL version 3, you are granted *
|
* additional permissions described in the GCC Runtime Library Exception, *
|
* additional permissions described in the GCC Runtime Library Exception, *
|
* version 3.1, as published by the Free Software Foundation. *
|
* version 3.1, as published by the Free Software Foundation. *
|
* *
|
* *
|
* You should have received a copy of the GNU General Public License and *
|
* You should have received a copy of the GNU General Public License and *
|
* a copy of the GCC Runtime Library Exception along with this program; *
|
* a copy of the GCC Runtime Library Exception along with this program; *
|
* see the files COPYING3 and COPYING.RUNTIME respectively. If not, see *
|
* see the files COPYING3 and COPYING.RUNTIME respectively. If not, see *
|
* <http://www.gnu.org/licenses/>. *
|
* <http://www.gnu.org/licenses/>. *
|
* *
|
* *
|
* GNAT was originally developed by the GNAT team at New York University. *
|
* GNAT was originally developed by the GNAT team at New York University. *
|
* Extensive contributions were provided by Ada Core Technologies Inc. *
|
* Extensive contributions were provided by Ada Core Technologies Inc. *
|
* *
|
* *
|
****************************************************************************/
|
****************************************************************************/
|
|
|
/* This unit contains support for SEH (Structured Exception Handling).
|
/* This unit contains support for SEH (Structured Exception Handling).
|
Right now the only implementation is for Win32. */
|
Right now the only implementation is for Win32. */
|
|
|
#ifdef __cplusplus
|
#ifdef __cplusplus
|
extern "C" {
|
extern "C" {
|
#endif
|
#endif
|
|
|
#ifdef IN_RTS
|
#ifdef IN_RTS
|
#include "tconfig.h"
|
#include "tconfig.h"
|
#include "tsystem.h"
|
#include "tsystem.h"
|
|
|
/* We don't have libiberty, so use malloc. */
|
/* We don't have libiberty, so use malloc. */
|
#define xmalloc(S) malloc (S)
|
#define xmalloc(S) malloc (S)
|
|
|
#else
|
#else
|
#include "config.h"
|
#include "config.h"
|
#include "system.h"
|
#include "system.h"
|
#endif
|
#endif
|
|
|
#include "raise.h"
|
#include "raise.h"
|
|
|
/* Addresses of exception data blocks for predefined exceptions. */
|
/* Addresses of exception data blocks for predefined exceptions. */
|
extern struct Exception_Data constraint_error;
|
extern struct Exception_Data constraint_error;
|
extern struct Exception_Data numeric_error;
|
extern struct Exception_Data numeric_error;
|
extern struct Exception_Data program_error;
|
extern struct Exception_Data program_error;
|
extern struct Exception_Data storage_error;
|
extern struct Exception_Data storage_error;
|
extern struct Exception_Data tasking_error;
|
extern struct Exception_Data tasking_error;
|
extern struct Exception_Data _abort_signal;
|
extern struct Exception_Data _abort_signal;
|
|
|
#define Raise_From_Signal_Handler \
|
#define Raise_From_Signal_Handler \
|
ada__exceptions__raise_from_signal_handler
|
ada__exceptions__raise_from_signal_handler
|
extern void Raise_From_Signal_Handler (struct Exception_Data *, const char *);
|
extern void Raise_From_Signal_Handler (struct Exception_Data *, const char *);
|
|
|
|
|
#if defined (_WIN32)
|
#if defined (_WIN32)
|
|
|
#include <windows.h>
|
#include <windows.h>
|
#include <excpt.h>
|
#include <excpt.h>
|
|
|
extern void _global_unwind2 (void *);
|
extern void _global_unwind2 (void *);
|
|
|
EXCEPTION_DISPOSITION __gnat_SEH_error_handler
|
EXCEPTION_DISPOSITION __gnat_SEH_error_handler
|
(struct _EXCEPTION_RECORD*, void*, struct _CONTEXT*, void*);
|
(struct _EXCEPTION_RECORD*, void*, struct _CONTEXT*, void*);
|
|
|
EXCEPTION_DISPOSITION
|
EXCEPTION_DISPOSITION
|
__gnat_SEH_error_handler (struct _EXCEPTION_RECORD* ExceptionRecord,
|
__gnat_SEH_error_handler (struct _EXCEPTION_RECORD* ExceptionRecord,
|
void *EstablisherFrame,
|
void *EstablisherFrame,
|
struct _CONTEXT* ContextRecord ATTRIBUTE_UNUSED,
|
struct _CONTEXT* ContextRecord ATTRIBUTE_UNUSED,
|
void *DispatcherContext ATTRIBUTE_UNUSED)
|
void *DispatcherContext ATTRIBUTE_UNUSED)
|
{
|
{
|
struct Exception_Data *exception;
|
struct Exception_Data *exception;
|
const char *msg;
|
const char *msg;
|
|
|
switch (ExceptionRecord->ExceptionCode)
|
switch (ExceptionRecord->ExceptionCode)
|
{
|
{
|
case EXCEPTION_ACCESS_VIOLATION:
|
case EXCEPTION_ACCESS_VIOLATION:
|
/* If the failing address isn't maximally-aligned or if the page
|
/* If the failing address isn't maximally-aligned or if the page
|
before the faulting page is not accessible, this is a program error.
|
before the faulting page is not accessible, this is a program error.
|
*/
|
*/
|
if ((ExceptionRecord->ExceptionInformation[1] & 3) != 0
|
if ((ExceptionRecord->ExceptionInformation[1] & 3) != 0
|
|| IsBadCodePtr
|
|| IsBadCodePtr
|
((void *)(ExceptionRecord->ExceptionInformation[1] + 4096)))
|
((void *)(ExceptionRecord->ExceptionInformation[1] + 4096)))
|
{
|
{
|
exception = &program_error;
|
exception = &program_error;
|
msg = "EXCEPTION_ACCESS_VIOLATION";
|
msg = "EXCEPTION_ACCESS_VIOLATION";
|
}
|
}
|
else
|
else
|
{
|
{
|
/* otherwise it is a stack overflow */
|
/* otherwise it is a stack overflow */
|
exception = &storage_error;
|
exception = &storage_error;
|
msg = "stack overflow or erroneous memory access";
|
msg = "stack overflow or erroneous memory access";
|
}
|
}
|
break;
|
break;
|
|
|
case EXCEPTION_ARRAY_BOUNDS_EXCEEDED:
|
case EXCEPTION_ARRAY_BOUNDS_EXCEEDED:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_ARRAY_BOUNDS_EXCEEDED";
|
msg = "EXCEPTION_ARRAY_BOUNDS_EXCEEDED";
|
break;
|
break;
|
|
|
case EXCEPTION_DATATYPE_MISALIGNMENT:
|
case EXCEPTION_DATATYPE_MISALIGNMENT:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_DATATYPE_MISALIGNMENT";
|
msg = "EXCEPTION_DATATYPE_MISALIGNMENT";
|
break;
|
break;
|
|
|
case EXCEPTION_FLT_DENORMAL_OPERAND:
|
case EXCEPTION_FLT_DENORMAL_OPERAND:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_FLT_DENORMAL_OPERAND";
|
msg = "EXCEPTION_FLT_DENORMAL_OPERAND";
|
break;
|
break;
|
|
|
case EXCEPTION_FLT_DIVIDE_BY_ZERO:
|
case EXCEPTION_FLT_DIVIDE_BY_ZERO:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_FLT_DENORMAL_OPERAND";
|
msg = "EXCEPTION_FLT_DENORMAL_OPERAND";
|
break;
|
break;
|
|
|
case EXCEPTION_FLT_INVALID_OPERATION:
|
case EXCEPTION_FLT_INVALID_OPERATION:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_FLT_INVALID_OPERATION";
|
msg = "EXCEPTION_FLT_INVALID_OPERATION";
|
break;
|
break;
|
|
|
case EXCEPTION_FLT_OVERFLOW:
|
case EXCEPTION_FLT_OVERFLOW:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_FLT_OVERFLOW";
|
msg = "EXCEPTION_FLT_OVERFLOW";
|
break;
|
break;
|
|
|
case EXCEPTION_FLT_STACK_CHECK:
|
case EXCEPTION_FLT_STACK_CHECK:
|
exception = &program_error;
|
exception = &program_error;
|
msg = "EXCEPTION_FLT_STACK_CHECK";
|
msg = "EXCEPTION_FLT_STACK_CHECK";
|
break;
|
break;
|
|
|
case EXCEPTION_FLT_UNDERFLOW:
|
case EXCEPTION_FLT_UNDERFLOW:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_FLT_UNDERFLOW";
|
msg = "EXCEPTION_FLT_UNDERFLOW";
|
break;
|
break;
|
|
|
case EXCEPTION_INT_DIVIDE_BY_ZERO:
|
case EXCEPTION_INT_DIVIDE_BY_ZERO:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_INT_DIVIDE_BY_ZERO";
|
msg = "EXCEPTION_INT_DIVIDE_BY_ZERO";
|
break;
|
break;
|
|
|
case EXCEPTION_INT_OVERFLOW:
|
case EXCEPTION_INT_OVERFLOW:
|
exception = &constraint_error;
|
exception = &constraint_error;
|
msg = "EXCEPTION_INT_OVERFLOW";
|
msg = "EXCEPTION_INT_OVERFLOW";
|
break;
|
break;
|
|
|
case EXCEPTION_INVALID_DISPOSITION:
|
case EXCEPTION_INVALID_DISPOSITION:
|
exception = &program_error;
|
exception = &program_error;
|
msg = "EXCEPTION_INVALID_DISPOSITION";
|
msg = "EXCEPTION_INVALID_DISPOSITION";
|
break;
|
break;
|
|
|
case EXCEPTION_NONCONTINUABLE_EXCEPTION:
|
case EXCEPTION_NONCONTINUABLE_EXCEPTION:
|
exception = &program_error;
|
exception = &program_error;
|
msg = "EXCEPTION_NONCONTINUABLE_EXCEPTION";
|
msg = "EXCEPTION_NONCONTINUABLE_EXCEPTION";
|
break;
|
break;
|
|
|
case EXCEPTION_PRIV_INSTRUCTION:
|
case EXCEPTION_PRIV_INSTRUCTION:
|
exception = &program_error;
|
exception = &program_error;
|
msg = "EXCEPTION_PRIV_INSTRUCTION";
|
msg = "EXCEPTION_PRIV_INSTRUCTION";
|
break;
|
break;
|
|
|
case EXCEPTION_SINGLE_STEP:
|
case EXCEPTION_SINGLE_STEP:
|
exception = &program_error;
|
exception = &program_error;
|
msg = "EXCEPTION_SINGLE_STEP";
|
msg = "EXCEPTION_SINGLE_STEP";
|
break;
|
break;
|
|
|
case EXCEPTION_STACK_OVERFLOW:
|
case EXCEPTION_STACK_OVERFLOW:
|
exception = &storage_error;
|
exception = &storage_error;
|
msg = "EXCEPTION_STACK_OVERFLOW";
|
msg = "EXCEPTION_STACK_OVERFLOW";
|
break;
|
break;
|
|
|
default:
|
default:
|
exception = &program_error;
|
exception = &program_error;
|
msg = "unhandled signal";
|
msg = "unhandled signal";
|
}
|
}
|
|
|
#if ! defined (_WIN64)
|
#if ! defined (_WIN64)
|
/* This call is important as it avoids locking the second time we catch a
|
/* This call is important as it avoids locking the second time we catch a
|
signal. Note that this routine is documented as internal to Windows and
|
signal. Note that this routine is documented as internal to Windows and
|
should not be used. */
|
should not be used. */
|
|
|
_global_unwind2 (EstablisherFrame);
|
_global_unwind2 (EstablisherFrame);
|
/* Call equivalent to RtlUnwind (EstablisherFrame, NULL, NULL, 0); */
|
/* Call equivalent to RtlUnwind (EstablisherFrame, NULL, NULL, 0); */
|
#endif
|
#endif
|
|
|
Raise_From_Signal_Handler (exception, msg);
|
Raise_From_Signal_Handler (exception, msg);
|
return 0; /* This is never reached, avoid compiler warning */
|
return 0; /* This is never reached, avoid compiler warning */
|
}
|
}
|
|
|
#if defined (_WIN64)
|
#if defined (_WIN64)
|
/* On x86_64 windows exception mechanism is no more based on a chained list
|
/* On x86_64 windows exception mechanism is no more based on a chained list
|
of handlers addresses on the stack. Instead unwinding information is used
|
of handlers addresses on the stack. Instead unwinding information is used
|
to retrieve the exception handler (similar to ZCX GCC mechanism). So in
|
to retrieve the exception handler (similar to ZCX GCC mechanism). So in
|
order to register an exception handler we need to put in the final
|
order to register an exception handler we need to put in the final
|
executable some unwinding information. This information might be present
|
executable some unwinding information. This information might be present
|
statically in the image file inside the .pdata section or registered
|
statically in the image file inside the .pdata section or registered
|
through RtlAddFunctionTable API. Currently the GCC toolchain does not
|
through RtlAddFunctionTable API. Currently the GCC toolchain does not
|
generate the .pdata information for each function. As we don't need to
|
generate the .pdata information for each function. As we don't need to
|
handle SEH exceptions except for signal handling we are registering a
|
handle SEH exceptions except for signal handling we are registering a
|
"fake" unwinding data that associate a SEH exception handler to the
|
"fake" unwinding data that associate a SEH exception handler to the
|
complete .text section. As we never return from the handler, the system
|
complete .text section. As we never return from the handler, the system
|
does not try to do the final unwinding using the pdata information. The
|
does not try to do the final unwinding using the pdata information. The
|
unwinding is handled by the runtime using either the GNAT SJLJ mechanism
|
unwinding is handled by the runtime using either the GNAT SJLJ mechanism
|
or the ZCX GCC mechanism.
|
or the ZCX GCC mechanism.
|
|
|
Solutions based on SetUnhandledExceptionFilter have been discarded as this
|
Solutions based on SetUnhandledExceptionFilter have been discarded as this
|
function is mostly disabled on last Windows versions.
|
function is mostly disabled on last Windows versions.
|
Using AddVectoredExceptionHandler should also be discarded as it overrides
|
Using AddVectoredExceptionHandler should also be discarded as it overrides
|
all SEH exception handlers that might be present in the program itself and
|
all SEH exception handlers that might be present in the program itself and
|
the loaded DLL (for example it results in unexpected behaviors in the
|
the loaded DLL (for example it results in unexpected behaviors in the
|
Win32 subsystem. */
|
Win32 subsystem. */
|
|
|
asm
|
asm
|
(
|
(
|
" .section .rdata, \"dr\"\n"
|
" .section .rdata, \"dr\"\n"
|
" .align 4\n"
|
" .align 4\n"
|
"unwind_info:\n"
|
"unwind_info:\n"
|
" .byte 9\n" /* UNW_FLAG_EHANDLER | UNW_VERSION */
|
" .byte 9\n" /* UNW_FLAG_EHANDLER | UNW_VERSION */
|
" .byte 0\n" /* Prologue size. */
|
" .byte 0\n" /* Prologue size. */
|
" .byte 0\n" /* Count of unwind code. */
|
" .byte 0\n" /* Count of unwind code. */
|
" .byte 0\n" /* Frame register and offset. */
|
" .byte 0\n" /* Frame register and offset. */
|
" .rva __gnat_SEH_error_handler\n"
|
" .rva __gnat_SEH_error_handler\n"
|
"\n"
|
"\n"
|
" .section .pdata, \"dr\"\n"
|
" .section .pdata, \"dr\"\n"
|
" .align 4\n"
|
" .align 4\n"
|
" .long 0\n" /* ImageBase */
|
" .long 0\n" /* ImageBase */
|
" .rva etext\n"
|
" .rva etext\n"
|
" .rva unwind_info\n"
|
" .rva unwind_info\n"
|
"\n"
|
"\n"
|
" .text\n"
|
" .text\n"
|
);
|
);
|
|
|
void __gnat_install_SEH_handler (void *eh ATTRIBUTE_UNUSED)
|
void __gnat_install_SEH_handler (void *eh ATTRIBUTE_UNUSED)
|
{
|
{
|
/* Nothing to do, the handler is statically installed by the asm statement
|
/* Nothing to do, the handler is statically installed by the asm statement
|
just above. */
|
just above. */
|
}
|
}
|
|
|
#else /* defined (_WIN64) */
|
#else /* defined (_WIN64) */
|
/* Install the Win32 SEH exception handler. Note that the caller must have
|
/* Install the Win32 SEH exception handler. Note that the caller must have
|
allocated 8 bytes on the stack and pass the pointer to this stack
|
allocated 8 bytes on the stack and pass the pointer to this stack
|
space. This is needed as the SEH exception handler must be on the stack of
|
space. This is needed as the SEH exception handler must be on the stack of
|
the thread.
|
the thread.
|
|
|
int buf[2];
|
int buf[2];
|
|
|
__gnat_install_SEH_handler ((void*)buf);
|
__gnat_install_SEH_handler ((void*)buf);
|
|
|
main();
|
main();
|
|
|
This call must be done before calling the main procedure or the thread
|
This call must be done before calling the main procedure or the thread
|
entry. The stack space must exists during all the main run. */
|
entry. The stack space must exists during all the main run. */
|
|
|
void
|
void
|
__gnat_install_SEH_handler (void *ER)
|
__gnat_install_SEH_handler (void *ER)
|
{
|
{
|
int *ptr;
|
int *ptr;
|
|
|
/* put current handler in ptr */
|
/* put current handler in ptr */
|
|
|
asm ("mov %%fs:(0),%0" : "=r" (ptr));
|
asm ("mov %%fs:(0),%0" : "=r" (ptr));
|
|
|
((int *)ER)[0] = (int)ptr; /* previous handler */
|
((int *)ER)[0] = (int)ptr; /* previous handler */
|
((int *)ER)[1] = (int)__gnat_SEH_error_handler; /* new handler */
|
((int *)ER)[1] = (int)__gnat_SEH_error_handler; /* new handler */
|
|
|
/* ER is the new handler, set fs:(0) with this value */
|
/* ER is the new handler, set fs:(0) with this value */
|
|
|
asm volatile ("mov %0,%%fs:(0)": : "r" (ER));
|
asm volatile ("mov %0,%%fs:(0)": : "r" (ER));
|
}
|
}
|
#endif
|
#endif
|
|
|
#else /* defined (_WIN32) */
|
#else /* defined (_WIN32) */
|
/* For all non Windows targets we provide a dummy SEH install handler. */
|
/* For all non Windows targets we provide a dummy SEH install handler. */
|
void __gnat_install_SEH_handler (void *eh ATTRIBUTE_UNUSED)
|
void __gnat_install_SEH_handler (void *eh ATTRIBUTE_UNUSED)
|
{
|
{
|
}
|
}
|
#endif
|
#endif
|
|
|
#ifdef __cplusplus
|
#ifdef __cplusplus
|
}
|
}
|
#endif
|
#endif
|
|
|
