Skip to content

Conversation

thurstond
Copy link
Contributor

@thurstond thurstond added the skip-precommit-approval PR for CI feedback, not intended for review label Oct 14, 2025
@thurstond thurstond merged commit 27d8441 into main Oct 14, 2025
6 of 12 checks passed
@thurstond thurstond deleted the revert-162746-signal_harry branch October 14, 2025 02:39
@llvmbot
Copy link
Member

llvmbot commented Oct 14, 2025

@llvm/pr-subscribers-compiler-rt-sanitizer

Author: Thurston Dang (thurstond)

Changes

Reverts llvm/llvm-project#162746

Reason: buildbot breakage (https://lab.llvm.org/buildbot/#/builders/51/builds/25195)


Full diff: https://github.com/llvm/llvm-project/pull/163308.diff

7 Files Affected:

  • (modified) compiler-rt/lib/sanitizer_common/sanitizer_common.h (-3)
  • (modified) compiler-rt/lib/sanitizer_common/sanitizer_flags.inc (-5)
  • (modified) compiler-rt/lib/sanitizer_common/sanitizer_posix_libcdep.cpp (-19)
  • (modified) compiler-rt/lib/sanitizer_common/sanitizer_signal_interceptors.inc (+2-40)
  • (modified) compiler-rt/test/sanitizer_common/TestCases/Linux/allow_user_segv.cpp (-4)
  • (removed) compiler-rt/test/sanitizer_common/TestCases/Linux/cloak_sigaction.cpp (-51)
  • (removed) compiler-rt/test/sanitizer_common/TestCases/Linux/cloak_signal.cpp (-46)
diff --git a/compiler-rt/lib/sanitizer_common/sanitizer_common.h b/compiler-rt/lib/sanitizer_common/sanitizer_common.h
index ba85a0eb5a35e..3e82df498572c 100644
--- a/compiler-rt/lib/sanitizer_common/sanitizer_common.h
+++ b/compiler-rt/lib/sanitizer_common/sanitizer_common.h
@@ -390,9 +390,6 @@ void ReportDeadlySignal(const SignalContext &sig, u32 tid,
 void SetAlternateSignalStack();
 void UnsetAlternateSignalStack();
 
-bool IsSignalHandlerFromSanitizer(int signum);
-bool SetSignalHandlerFromSanitizer(int signum, bool new_state);
-
 // Construct a one-line string:
 //   SUMMARY: SanitizerToolName: error_message
 // and pass it to __sanitizer_report_error_summary.
diff --git a/compiler-rt/lib/sanitizer_common/sanitizer_flags.inc b/compiler-rt/lib/sanitizer_common/sanitizer_flags.inc
index 5f449907f6011..650a4580bbcf0 100644
--- a/compiler-rt/lib/sanitizer_common/sanitizer_flags.inc
+++ b/compiler-rt/lib/sanitizer_common/sanitizer_flags.inc
@@ -113,11 +113,6 @@ COMMON_FLAG(HandleSignalMode, handle_sigfpe, kHandleSignalYes,
 COMMON_FLAG(bool, allow_user_segv_handler, true,
             "Deprecated. True has no effect, use handle_sigbus=1. If false, "
             "handle_*=1 will be upgraded to handle_*=2.")
-COMMON_FLAG(bool, cloak_sanitizer_signal_handlers, false,
-            "If set, signal/sigaction will pretend that sanitizers did not "
-            "preinstall any signal handlers. If the user subsequently installs "
-            "a signal handler, this will disable cloaking for the respective "
-            "signal.")
 COMMON_FLAG(bool, use_sigaltstack, true,
             "If set, uses alternate stack for signal handling.")
 COMMON_FLAG(bool, detect_deadlocks, true,
diff --git a/compiler-rt/lib/sanitizer_common/sanitizer_posix_libcdep.cpp b/compiler-rt/lib/sanitizer_common/sanitizer_posix_libcdep.cpp
index 15cd1824abc56..b1eb2009cf157 100644
--- a/compiler-rt/lib/sanitizer_common/sanitizer_posix_libcdep.cpp
+++ b/compiler-rt/lib/sanitizer_common/sanitizer_posix_libcdep.cpp
@@ -47,8 +47,6 @@ typedef void (*sa_sigaction_t)(int, siginfo_t *, void *);
 
 namespace __sanitizer {
 
-static atomic_uint8_t signal_handler_is_from_sanitizer[64];
-
 u32 GetUid() {
   return getuid();
 }
@@ -212,20 +210,6 @@ void UnsetAlternateSignalStack() {
   UnmapOrDie(oldstack.ss_sp, oldstack.ss_size);
 }
 
-bool IsSignalHandlerFromSanitizer(int signum) {
-  return atomic_load(&signal_handler_is_from_sanitizer[signum],
-                     memory_order_relaxed);
-}
-
-bool SetSignalHandlerFromSanitizer(int signum, bool new_state) {
-  if (signum < 0 || static_cast<unsigned>(signum) >=
-                        ARRAY_SIZE(signal_handler_is_from_sanitizer))
-    return false;
-
-  return atomic_exchange(&signal_handler_is_from_sanitizer[signum], new_state,
-                         memory_order_relaxed);
-}
-
 static void MaybeInstallSigaction(int signum,
                                   SignalHandlerType handler) {
   if (GetHandleSignalMode(signum) == kHandleSignalNo) return;
@@ -239,9 +223,6 @@ static void MaybeInstallSigaction(int signum,
   if (common_flags()->use_sigaltstack) sigact.sa_flags |= SA_ONSTACK;
   CHECK_EQ(0, internal_sigaction(signum, &sigact, nullptr));
   VReport(1, "Installed the sigaction for signal %d\n", signum);
-
-  if (common_flags()->cloak_sanitizer_signal_handlers)
-    SetSignalHandlerFromSanitizer(signum, true);
 }
 
 void InstallDeadlySignalHandlers(SignalHandlerType handler) {
diff --git a/compiler-rt/lib/sanitizer_common/sanitizer_signal_interceptors.inc b/compiler-rt/lib/sanitizer_common/sanitizer_signal_interceptors.inc
index 8511e4d55fa9e..94e4e2954a3b9 100644
--- a/compiler-rt/lib/sanitizer_common/sanitizer_signal_interceptors.inc
+++ b/compiler-rt/lib/sanitizer_common/sanitizer_signal_interceptors.inc
@@ -45,8 +45,6 @@ using namespace __sanitizer;
 INTERCEPTOR(uptr, bsd_signal, int signum, uptr handler) {
   SIGNAL_INTERCEPTOR_ENTER();
   if (GetHandleSignalMode(signum) == kHandleSignalExclusive) return 0;
-
-  // TODO: support cloak_sanitizer_signal_handlers
   SIGNAL_INTERCEPTOR_SIGNAL_IMPL(bsd_signal, signum, handler);
 }
 #define INIT_BSD_SIGNAL COMMON_INTERCEPT_FUNCTION(bsd_signal)
@@ -58,55 +56,19 @@ INTERCEPTOR(uptr, bsd_signal, int signum, uptr handler) {
 INTERCEPTOR(uptr, signal, int signum, uptr handler) {
   SIGNAL_INTERCEPTOR_ENTER();
   if (GetHandleSignalMode(signum) == kHandleSignalExclusive)
-    // The user can neither view nor change the signal handler, regardless of
-    // the cloak_sanitizer_signal_handlers setting. This differs from
-    // sigaction().
     return (uptr) nullptr;
-
-  uptr ret = +[](auto signal, int signum, uptr handler) {
-    SIGNAL_INTERCEPTOR_SIGNAL_IMPL(signal, signum, handler);
-  }(signal, signum, handler);
-
-  if (ret != sig_err && SetSignalHandlerFromSanitizer(signum, false))
-    // If the user sets a signal handler, it becomes uncloaked, even if they
-    // reuse a sanitizer's signal handler.
-    ret = sig_dfl;
-
-  return ret;
+  SIGNAL_INTERCEPTOR_SIGNAL_IMPL(signal, signum, handler);
 }
 #define INIT_SIGNAL COMMON_INTERCEPT_FUNCTION(signal)
 
 INTERCEPTOR(int, sigaction_symname, int signum,
             const __sanitizer_sigaction *act, __sanitizer_sigaction *oldact) {
   SIGNAL_INTERCEPTOR_ENTER();
-
   if (GetHandleSignalMode(signum) == kHandleSignalExclusive) {
     if (!oldact) return 0;
     act = nullptr;
-    // If cloak_sanitizer_signal_handlers=true, the user can neither view nor
-    // change the signal handle.
-    // If false, the user can view but not change the signal handler. This
-    // differs from signal().
   }
-
-  int ret = +[](int signum, const __sanitizer_sigaction* act,
-                __sanitizer_sigaction* oldact) {
-    SIGNAL_INTERCEPTOR_SIGACTION_IMPL(signum, act, oldact);
-  }(signum, act, oldact);
-
-  if (act) {
-    if (ret == 0 && SetSignalHandlerFromSanitizer(signum, false)) {
-      // If the user sets a signal handler, it becomes uncloaked, even if they
-      // reuse a sanitizer's signal handler.
-
-      if (oldact)
-        oldact->handler = reinterpret_cast<__sanitizer_sighandler_ptr>(sig_dfl);
-    }
-  } else if (ret == 0 && oldact && IsSignalHandlerFromSanitizer(signum)) {
-    oldact->handler = reinterpret_cast<__sanitizer_sighandler_ptr>(sig_dfl);
-  }
-
-  return ret;
+  SIGNAL_INTERCEPTOR_SIGACTION_IMPL(signum, act, oldact);
 }
 #define INIT_SIGACTION COMMON_INTERCEPT_FUNCTION(sigaction_symname)
 
diff --git a/compiler-rt/test/sanitizer_common/TestCases/Linux/allow_user_segv.cpp b/compiler-rt/test/sanitizer_common/TestCases/Linux/allow_user_segv.cpp
index 0c5a922ecfb83..1c740153a81d7 100644
--- a/compiler-rt/test/sanitizer_common/TestCases/Linux/allow_user_segv.cpp
+++ b/compiler-rt/test/sanitizer_common/TestCases/Linux/allow_user_segv.cpp
@@ -23,10 +23,6 @@
 // Flaky errors in debuggerd with "waitpid returned unexpected pid (0)" in logcat.
 // UNSUPPORTED: android && i386-target-arch
 
-// Note: this test case is unusual because it retrieves the original
-// (ASan-installed) signal handler; thus, it is incompatible with the
-// cloak_sanitizer_signal_handlers runtime option.
-
 #include <signal.h>
 #include <stdio.h>
 #include <stdlib.h>
diff --git a/compiler-rt/test/sanitizer_common/TestCases/Linux/cloak_sigaction.cpp b/compiler-rt/test/sanitizer_common/TestCases/Linux/cloak_sigaction.cpp
deleted file mode 100644
index d713d2d1501b6..0000000000000
--- a/compiler-rt/test/sanitizer_common/TestCases/Linux/cloak_sigaction.cpp
+++ /dev/null
@@ -1,51 +0,0 @@
-// UNSUPPORTED: android
-// UNSUPPORTED: hwasan
-
-// RUN: %clangxx -O0 %s -o %t
-
-// Sanitizer signal handler not installed; custom signal handler installed
-// RUN: %env_tool_opts=handle_segv=0:cloak_sanitizer_signal_handlers=false not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,CUSTOM
-// RUN: %env_tool_opts=handle_segv=0:cloak_sanitizer_signal_handlers=true not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,CUSTOM
-
-// Sanitizer signal handler installed but overriden by custom signal handler
-// RUN: %env_tool_opts=handle_segv=1:cloak_sanitizer_signal_handlers=false not %run %t 2>&1 | FileCheck %s --check-prefixes=NONDEFAULT,CUSTOM
-// RUN: %env_tool_opts=handle_segv=1:cloak_sanitizer_signal_handlers=true not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,CUSTOM
-
-// Sanitizer signal handler installed immutably
-// N.B. for handle_segv=2 with cloaking off, there is a pre-existing difference
-//      in signal vs. sigaction: signal effectively cloaks the handler.
-// RUN: %env_tool_opts=handle_segv=2:cloak_sanitizer_signal_handlers=false not %run %t 2>&1 | FileCheck %s --check-prefixes=NONDEFAULT,SANITIZER
-// RUN: %env_tool_opts=handle_segv=2:cloak_sanitizer_signal_handlers=true not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,SANITIZER
-
-#include <signal.h>
-#include <stdio.h>
-#include <stdlib.h>
-
-void handler(int signum, siginfo_t *info, void *context) {
-  printf("Custom signal handler\n");
-  exit(1);
-}
-
-int main(int argc, char *argv[]) {
-  struct sigaction sa = {0};
-  struct sigaction old = {0};
-  sa.sa_flags = SA_SIGINFO;
-  sa.sa_sigaction = &handler;
-  sigaction(SIGSEGV, &sa, &old);
-
-  if (reinterpret_cast<void *>(old.sa_sigaction) == SIG_DFL)
-    printf("Old handler: default\n");
-  // DEFAULT: Old handler: default
-  else
-    printf("Old handler: non-default\n");
-  // NONDEFAULT: Old handler: non-default
-
-  fflush(stdout);
-
-  char *c = (char *)0x123;
-  printf("%d\n", *c);
-  // CUSTOM: Custom signal handler
-  // SANITIZER: Sanitizer:DEADLYSIGNAL
-
-  return 0;
-}
diff --git a/compiler-rt/test/sanitizer_common/TestCases/Linux/cloak_signal.cpp b/compiler-rt/test/sanitizer_common/TestCases/Linux/cloak_signal.cpp
deleted file mode 100644
index 1c166c953fcfd..0000000000000
--- a/compiler-rt/test/sanitizer_common/TestCases/Linux/cloak_signal.cpp
+++ /dev/null
@@ -1,46 +0,0 @@
-// UNSUPPORTED: android
-// UNSUPPORTED: hwasan
-
-// RUN: %clangxx -O0 %s -o %t
-
-// Sanitizer signal handler not installed; custom signal handler installed
-// RUN: %env_tool_opts=handle_segv=0:cloak_sanitizer_signal_handlers=false not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,CUSTOM
-// RUN: %env_tool_opts=handle_segv=0:cloak_sanitizer_signal_handlers=true not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,CUSTOM
-
-// Sanitizer signal handler installed but overriden by custom signal handler
-// RUN: %env_tool_opts=handle_segv=1:cloak_sanitizer_signal_handlers=false not %run %t 2>&1 | FileCheck %s --check-prefixes=NONDEFAULT,CUSTOM
-// RUN: %env_tool_opts=handle_segv=1:cloak_sanitizer_signal_handlers=true not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,CUSTOM
-
-// Sanitizer signal handler installed immutably
-// N.B. for handle_segv=2 with cloaking off, there is a pre-existing difference
-//      in signal vs. sigaction: signal effectively cloaks the handler.
-// RUN: %env_tool_opts=handle_segv=2:cloak_sanitizer_signal_handlers=false not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,SANITIZER
-// RUN: %env_tool_opts=handle_segv=2:cloak_sanitizer_signal_handlers=true not %run %t 2>&1 | FileCheck %s --check-prefixes=DEFAULT,SANITIZER
-
-#include <signal.h>
-#include <stdio.h>
-#include <stdlib.h>
-
-void my_signal_sighandler(int signum) {
-  printf("Custom signal handler\n");
-  exit(1);
-}
-
-int main(int argc, char *argv[]) {
-  __sighandler_t old = signal(SIGSEGV, &my_signal_sighandler);
-  if (old == SIG_DFL)
-    printf("Old handler: default\n");
-  // DEFAULT: Old handler: default
-  else
-    printf("Old handler: non-default\n");
-  // NONDEFAULT: Old handler: non-default
-
-  fflush(stdout);
-
-  char *c = (char *)0x123;
-  printf("%d\n", *c);
-  // CUSTOM: Custom signal handler
-  // SANITIZER: Sanitizer:DEADLYSIGNAL
-
-  return 0;
-}

thurstond added a commit to thurstond/llvm-project that referenced this pull request Oct 14, 2025
…on" (llvm#163308)

This reverts commit 27d8441.

This reland uses 'raise(SIGSEGV)' instead of trying to get a segfault by
dereferencing *123. The latter caused buildbot failures for
cloak_{sigaction,signal}.cpp when assertions
are enabled, because e.g., TSan will assert that 123 is not a valid app
memory address, preventing the segfault from being triggered. While it
is conceivable that a carefully chosen memory address will trigger a
segfault, it is cleaner to directly raise the signal.
akadutta pushed a commit to akadutta/llvm-project that referenced this pull request Oct 14, 2025
thurstond added a commit that referenced this pull request Oct 16, 2025
…on" (#163308) (#163423)

This reverts commit
27d8441
i.e., relands 812a225.

This reland uses `raise(SIGSEGV)` instead of trying to segfault via
dereferencing *123. The latter caused buildbot failures for
cloak_{sigaction,signal}.cpp when assertions are enabled, because e.g.,
TSan will assert that 123 is not a valid app memory address, preventing
the segfault from being triggered. While it is conceivable that a
carefully chosen memory address will trigger a segfault, it is cleaner
to directly raise the signal.

Additionally, this reland marks signal_handler_is_from_sanitizer as
`[[maybe_unused]]`.

Original commit message:

If set, signal/sigaction will pretend that the sanitizers did not
preinstall any signal handlers. If a user successfully installs a signal
handler, it will not be cloaked.
    
The flag is currently off by default, which means this patch should not
affect the behavior of any sanitizers.
    
This can be useful in an ecosystem where:
1) there exists a library that will install a signal handler iff it does
not detect a preinstalled signal handler (a heuristic to prevent
overriding user-installed exception handlers etc.)
2) the aforementioned library is linked in to some, but not all, apps
3) user-installed signal handlers are intended to have the highest
priority, followed by the library-installed signal handler, and then the
sanitizer's signal handler
    
The flag is in sanitizer_common, though it is currently only supported
in ASan, LSan, MSan, TSan and UBSan.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

compiler-rt:sanitizer compiler-rt skip-precommit-approval PR for CI feedback, not intended for review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants