TeamHeptaMirrors/gcc
1
0
Fork 1
mirror of https://github.com/gcc-mirror/gcc.git synced 2026-05-06 14:59:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

Ada: adjust pattern matching to new stack probes on x86/Linux

Browse Source 
This fixes the couple of ACATS regressions introduced by the change:

                === acats tests ===
FAIL:  c52103x
FAIL:  c52104x

gcc/ada/
	PR target/124336
	* init.c (__gnat_adjust_context_for_raise) [x86/Linux]: Adjust
	pattern matching to new stack probes.
This commit is contained in:
Eric Botcazou
2026-03-07 15:09:46 +01:00
parent b1859c2a3d
commit 0fdaf0eb61
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
gcc/ada/init.c
View File

@@ -507,17 +507,18 @@ __gnat_adjust_context_for_raise (int signo ATTRIBUTE_UNUSED, void *ucontext)
#if defined (__i386__)
unsigned long *pc = (unsigned long *)mcontext->gregs[REG_EIP];
/* The pattern is "orl $0x0,(%esp)" for a probe in 32-bit mode. */
if (signo == SIGSEGV && pc && *pc == 0x00240c83)
/* The pattern is "or{l,b} $0x0,(%esp)" for a probe in 32-bit mode. */
if (signo == SIGSEGV && pc && (*pc == 0x00240c83 || *pc == 0x00240c80))
mcontext->gregs[REG_ESP] += 4096 + 4 * sizeof (unsigned long);
#elif defined (__x86_64__)
unsigned long long *pc = (unsigned long long *)mcontext->gregs[REG_RIP];
if (signo == SIGSEGV && pc
/* The pattern is "orq $0x0,(%rsp)" for a probe in 64-bit mode. */
&& ((*pc & 0xffffffffffLL) == 0x00240c8348LL
/* The pattern may also be "orl $0x0,(%esp)" for a probe in
x32 mode. */
|| (*pc & 0xffffffffLL) == 0x00240c83LL))
/* The pattern is "orl $0x0,(%rsp)" for a probe in x32 mode. */
|| (*pc & 0xffffffffLL) == 0x00240c83LL)
/* The pattern may also be "orb $0x0,(%rsp)" in both modes. */
|| (*pc & 0xffffffffLL) == 0x00240c80LL)
mcontext->gregs[REG_RSP] += 4096 + 4 * sizeof (unsigned long);
#elif defined (__ia64__)
/* ??? The IA-64 unwinder doesn't compensate for signals. */