168d75effSDimitry Andric //===-- sanitizer_termination.cpp -------------------------------*- C++ -*-===//
268d75effSDimitry Andric //
368d75effSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
468d75effSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
568d75effSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
668d75effSDimitry Andric //
768d75effSDimitry Andric //===----------------------------------------------------------------------===//
868d75effSDimitry Andric ///
968d75effSDimitry Andric /// This file contains the Sanitizer termination functions CheckFailed and Die,
1068d75effSDimitry Andric /// and the callback functionalities associated with them.
1168d75effSDimitry Andric ///
1268d75effSDimitry Andric //===----------------------------------------------------------------------===//
1368d75effSDimitry Andric
1468d75effSDimitry Andric #include "sanitizer_common.h"
1568d75effSDimitry Andric #include "sanitizer_libc.h"
1668d75effSDimitry Andric
1768d75effSDimitry Andric namespace __sanitizer {
1868d75effSDimitry Andric
1968d75effSDimitry Andric static const int kMaxNumOfInternalDieCallbacks = 5;
2068d75effSDimitry Andric static DieCallbackType InternalDieCallbacks[kMaxNumOfInternalDieCallbacks];
2168d75effSDimitry Andric
AddDieCallback(DieCallbackType callback)2268d75effSDimitry Andric bool AddDieCallback(DieCallbackType callback) {
2368d75effSDimitry Andric for (int i = 0; i < kMaxNumOfInternalDieCallbacks; i++) {
2468d75effSDimitry Andric if (InternalDieCallbacks[i] == nullptr) {
2568d75effSDimitry Andric InternalDieCallbacks[i] = callback;
2668d75effSDimitry Andric return true;
2768d75effSDimitry Andric }
2868d75effSDimitry Andric }
2968d75effSDimitry Andric return false;
3068d75effSDimitry Andric }
3168d75effSDimitry Andric
RemoveDieCallback(DieCallbackType callback)3268d75effSDimitry Andric bool RemoveDieCallback(DieCallbackType callback) {
3368d75effSDimitry Andric for (int i = 0; i < kMaxNumOfInternalDieCallbacks; i++) {
3468d75effSDimitry Andric if (InternalDieCallbacks[i] == callback) {
3568d75effSDimitry Andric internal_memmove(&InternalDieCallbacks[i], &InternalDieCallbacks[i + 1],
3668d75effSDimitry Andric sizeof(InternalDieCallbacks[0]) *
3768d75effSDimitry Andric (kMaxNumOfInternalDieCallbacks - i - 1));
3868d75effSDimitry Andric InternalDieCallbacks[kMaxNumOfInternalDieCallbacks - 1] = nullptr;
3968d75effSDimitry Andric return true;
4068d75effSDimitry Andric }
4168d75effSDimitry Andric }
4268d75effSDimitry Andric return false;
4368d75effSDimitry Andric }
4468d75effSDimitry Andric
4568d75effSDimitry Andric static DieCallbackType UserDieCallback;
SetUserDieCallback(DieCallbackType callback)4668d75effSDimitry Andric void SetUserDieCallback(DieCallbackType callback) {
4768d75effSDimitry Andric UserDieCallback = callback;
4868d75effSDimitry Andric }
4968d75effSDimitry Andric
Die()5068d75effSDimitry Andric void NORETURN Die() {
5168d75effSDimitry Andric if (UserDieCallback)
5268d75effSDimitry Andric UserDieCallback();
5368d75effSDimitry Andric for (int i = kMaxNumOfInternalDieCallbacks - 1; i >= 0; i--) {
5468d75effSDimitry Andric if (InternalDieCallbacks[i])
5568d75effSDimitry Andric InternalDieCallbacks[i]();
5668d75effSDimitry Andric }
5768d75effSDimitry Andric if (common_flags()->abort_on_error)
5868d75effSDimitry Andric Abort();
5968d75effSDimitry Andric internal__exit(common_flags()->exitcode);
6068d75effSDimitry Andric }
6168d75effSDimitry Andric
62*fe6060f1SDimitry Andric static void (*CheckUnwindCallback)();
SetCheckUnwindCallback(void (* callback)())63*fe6060f1SDimitry Andric void SetCheckUnwindCallback(void (*callback)()) {
64*fe6060f1SDimitry Andric CheckUnwindCallback = callback;
6568d75effSDimitry Andric }
6668d75effSDimitry Andric
CheckFailed(const char * file,int line,const char * cond,u64 v1,u64 v2)6768d75effSDimitry Andric void NORETURN CheckFailed(const char *file, int line, const char *cond,
6868d75effSDimitry Andric u64 v1, u64 v2) {
69*fe6060f1SDimitry Andric u32 tid = GetTid();
70*fe6060f1SDimitry Andric Printf("%s: CHECK failed: %s:%d \"%s\" (0x%zx, 0x%zx) (tid=%u)\n",
71*fe6060f1SDimitry Andric SanitizerToolName, StripModuleName(file), line, cond, (uptr)v1,
72*fe6060f1SDimitry Andric (uptr)v2, tid);
73*fe6060f1SDimitry Andric static atomic_uint32_t first_tid;
74*fe6060f1SDimitry Andric u32 cmp = 0;
75*fe6060f1SDimitry Andric if (!atomic_compare_exchange_strong(&first_tid, &cmp, tid,
76*fe6060f1SDimitry Andric memory_order_relaxed)) {
77*fe6060f1SDimitry Andric if (cmp == tid) {
78*fe6060f1SDimitry Andric // Recursing into CheckFailed.
79*fe6060f1SDimitry Andric } else {
80*fe6060f1SDimitry Andric // Another thread fails already, let it print the stack and terminate.
81*fe6060f1SDimitry Andric SleepForSeconds(2);
82*fe6060f1SDimitry Andric }
8368d75effSDimitry Andric Trap();
8468d75effSDimitry Andric }
85*fe6060f1SDimitry Andric if (CheckUnwindCallback)
86*fe6060f1SDimitry Andric CheckUnwindCallback();
8768d75effSDimitry Andric Die();
8868d75effSDimitry Andric }
8968d75effSDimitry Andric
9068d75effSDimitry Andric } // namespace __sanitizer
9168d75effSDimitry Andric
9268d75effSDimitry Andric using namespace __sanitizer;
9368d75effSDimitry Andric
9468d75effSDimitry Andric extern "C" {
9568d75effSDimitry Andric SANITIZER_INTERFACE_ATTRIBUTE
__sanitizer_set_death_callback(void (* callback)(void))9668d75effSDimitry Andric void __sanitizer_set_death_callback(void (*callback)(void)) {
9768d75effSDimitry Andric SetUserDieCallback(callback);
9868d75effSDimitry Andric }
9968d75effSDimitry Andric } // extern "C"
100