bf1e00d
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
Victor Stinner 761bbd3
From: Victor Stinner <vstinner@python.org>
Victor Stinner 761bbd3
Date: Fri, 19 Jun 2020 17:16:05 +0200
Victor Stinner 761bbd3
Subject: [PATCH] 00343: Fix test_faulthandler on GCC 10
Victor Stinner 761bbd3
Victor Stinner 761bbd3
bpo-38965: Fix faulthandler._stack_overflow() on GCC 10
Victor Stinner 761bbd3
Fixed upstream and backported from the 3.7 branch:
Victor Stinner 761bbd3
https://bugs.python.org/issue38965
Victor Stinner 761bbd3
https://github.com/python/cpython/commit/f4a21d3b239bf4f4e4e2a8a5936b9b040645b246
Victor Stinner 761bbd3
Victor Stinner 761bbd3
bpo-21131: Fix faulthandler.register(chain=True) stack (GH-15276)
Victor Stinner 761bbd3
https://bugs.python.org/issue21131
Victor Stinner 761bbd3
https://github.com/python/cpython/commit/ac827edc493d3ac3f5b9b0cc353df1d4b418a9aa
Victor Stinner 761bbd3
---
Victor Stinner 761bbd3
 Modules/faulthandler.c | 22 +++++++++++-----------
Victor Stinner 761bbd3
 1 file changed, 11 insertions(+), 11 deletions(-)
Victor Stinner 4cbb173
Victor Stinner 4cbb173
diff --git a/Modules/faulthandler.c b/Modules/faulthandler.c
Victor Stinner 761bbd3
index 890c64577c..fac662afc3 100644
Victor Stinner 4cbb173
--- a/Modules/faulthandler.c
Victor Stinner 4cbb173
+++ b/Modules/faulthandler.c
Victor Stinner 4cbb173
@@ -1091,18 +1091,14 @@ faulthandler_fatal_error_py(PyObject *self, PyObject *args)
Victor Stinner 4cbb173
 #if defined(HAVE_SIGALTSTACK) && defined(HAVE_SIGACTION)
Victor Stinner 4cbb173
 #define FAULTHANDLER_STACK_OVERFLOW
Victor Stinner 761bbd3
 
Victor Stinner 4cbb173
-#ifdef __INTEL_COMPILER
Victor Stinner 4cbb173
-   /* Issue #23654: Turn off ICC's tail call optimization for the
Victor Stinner 4cbb173
-    * stack_overflow generator. ICC turns the recursive tail call into
Victor Stinner 4cbb173
-    * a loop. */
Victor Stinner 4cbb173
-#  pragma intel optimization_level 0
Victor Stinner 4cbb173
-#endif
Victor Stinner 4cbb173
-static
Victor Stinner 4cbb173
-uintptr_t
Victor Stinner 4cbb173
+static uintptr_t
Victor Stinner 4cbb173
 stack_overflow(uintptr_t min_sp, uintptr_t max_sp, size_t *depth)
Victor Stinner 4cbb173
 {
Victor Stinner 4cbb173
-    /* allocate 4096 bytes on the stack at each call */
Victor Stinner 4cbb173
-    unsigned char buffer[4096];
Victor Stinner 4cbb173
+    /* Allocate (at least) 4096 bytes on the stack at each call.
Victor Stinner 4cbb173
+
Victor Stinner 4cbb173
+       bpo-23654, bpo-38965: use volatile keyword to prevent tail call
Victor Stinner 4cbb173
+       optimization. */
Victor Stinner 4cbb173
+    volatile unsigned char buffer[4096];
Victor Stinner 4cbb173
     uintptr_t sp = (uintptr_t)&buffer;
Victor Stinner 4cbb173
     *depth += 1;
Victor Stinner 4cbb173
     if (sp < min_sp || max_sp < sp)
Victor Stinner 4cbb173
@@ -1333,7 +1329,11 @@ int _PyFaulthandler_Init(void)
Victor Stinner 4cbb173
      * be able to allocate memory on the stack, even on a stack overflow. If it
Victor Stinner 4cbb173
      * fails, ignore the error. */
Victor Stinner 4cbb173
     stack.ss_flags = 0;
Victor Stinner 4cbb173
-    stack.ss_size = SIGSTKSZ;
Victor Stinner 4cbb173
+    /* bpo-21131: allocate dedicated stack of SIGSTKSZ*2 bytes, instead of just
Victor Stinner 4cbb173
+       SIGSTKSZ bytes. Calling the previous signal handler in faulthandler
Victor Stinner 4cbb173
+       signal handler uses more than SIGSTKSZ bytes of stack memory on some
Victor Stinner 4cbb173
+       platforms. */
Victor Stinner 4cbb173
+    stack.ss_size = SIGSTKSZ * 2;
Victor Stinner 4cbb173
     stack.ss_sp = PyMem_Malloc(stack.ss_size);
Victor Stinner 4cbb173
     if (stack.ss_sp != NULL) {
Victor Stinner 4cbb173
         err = sigaltstack(&stack, &old_stack);