Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 1 | //===- Signals.cpp - Generic Unix Signals Implementation -----*- C++ -*-===// |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 2 | // |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 7 | // |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines some helpful functions for dealing with the possibility of |
Chris Lattner | 0ab5e2c | 2011-04-15 05:18:47 +0000 | [diff] [blame] | 11 | // Unix signals occurring while your program is running. |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "Unix.h" |
Owen Anderson | e2f23a3 | 2007-09-07 04:06:50 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/STLExtras.h" |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 17 | #include "llvm/Support/Format.h" |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 18 | #include "llvm/Support/FileSystem.h" |
| 19 | #include "llvm/Support/FileUtilities.h" |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 20 | #include "llvm/Support/MemoryBuffer.h" |
| 21 | #include "llvm/Support/Mutex.h" |
| 22 | #include "llvm/Support/Program.h" |
| 23 | #include "llvm/Support/UniqueLock.h" |
| 24 | #include "llvm/Support/raw_ostream.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 25 | #include <algorithm> |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 26 | #include <string> |
Reid Spencer | d554bbc | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 27 | #if HAVE_EXECINFO_H |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 28 | # include <execinfo.h> // For backtrace(). |
| 29 | #endif |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 30 | #if HAVE_SIGNAL_H |
| 31 | #include <signal.h> |
| 32 | #endif |
Reid Spencer | ceeb918 | 2007-04-07 18:52:17 +0000 | [diff] [blame] | 33 | #if HAVE_SYS_STAT_H |
| 34 | #include <sys/stat.h> |
| 35 | #endif |
Joerg Sonnenberger | 6624183 | 2013-04-27 22:12:32 +0000 | [diff] [blame] | 36 | #if HAVE_CXXABI_H |
Joerg Sonnenberger | 4474409 | 2013-04-27 22:32:54 +0000 | [diff] [blame] | 37 | #include <cxxabi.h> |
Joerg Sonnenberger | 6624183 | 2013-04-27 22:12:32 +0000 | [diff] [blame] | 38 | #endif |
| 39 | #if HAVE_DLFCN_H |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 40 | #include <dlfcn.h> |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 41 | #endif |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 42 | #if HAVE_MACH_MACH_H |
| 43 | #include <mach/mach.h> |
| 44 | #endif |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 45 | #if HAVE_LINK_H |
| 46 | #include <link.h> |
| 47 | #endif |
Richard Smith | 14d9651 | 2016-05-20 21:18:12 +0000 | [diff] [blame] | 48 | #if HAVE_UNWIND_BACKTRACE |
| 49 | // FIXME: We should be able to use <unwind.h> for any target that has an |
| 50 | // _Unwind_Backtrace function, but on FreeBSD the configure test passes |
| 51 | // despite the function not existing, and on Android, <unwind.h> conflicts |
| 52 | // with <link.h>. |
| 53 | #ifdef __GLIBC__ |
| 54 | #include <unwind.h> |
| 55 | #else |
| 56 | #undef HAVE_UNWIND_BACKTRACE |
| 57 | #endif |
| 58 | #endif |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 59 | |
Chris Lattner | 80df7c4 | 2006-08-01 17:59:14 +0000 | [diff] [blame] | 60 | using namespace llvm; |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 61 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 62 | static RETSIGTYPE SignalHandler(int Sig); // defined below. |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 63 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 64 | static ManagedStatic<SmartMutex<true> > SignalsMutex; |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 65 | |
Chris Lattner | 6a5d6ec | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 66 | /// InterruptFunction - The function to call if ctrl-c is pressed. |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 67 | static void (*InterruptFunction)() = nullptr; |
Chris Lattner | 6a5d6ec | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 68 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 69 | static ManagedStatic<std::vector<std::string>> FilesToRemove; |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 70 | |
Richard Smith | 2ad6d48 | 2016-06-09 00:53:21 +0000 | [diff] [blame] | 71 | static StringRef Argv0; |
| 72 | |
Dan Gohman | f857cd7 | 2013-02-20 19:28:46 +0000 | [diff] [blame] | 73 | // IntSigs - Signals that represent requested termination. There's no bug |
| 74 | // or failure, or if there is, it's not our direct responsibility. For whatever |
| 75 | // reason, our continued execution is no longer desirable. |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 76 | static const int IntSigs[] = { |
Dan Gohman | 5cdb345 | 2013-02-20 19:15:01 +0000 | [diff] [blame] | 77 | SIGHUP, SIGINT, SIGPIPE, SIGTERM, SIGUSR1, SIGUSR2 |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 78 | }; |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 79 | |
Dan Gohman | f857cd7 | 2013-02-20 19:28:46 +0000 | [diff] [blame] | 80 | // KillSigs - Signals that represent that we have a bug, and our prompt |
| 81 | // termination has been ordered. |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 82 | static const int KillSigs[] = { |
Dan Gohman | 5cdb345 | 2013-02-20 19:15:01 +0000 | [diff] [blame] | 83 | SIGILL, SIGTRAP, SIGABRT, SIGFPE, SIGBUS, SIGSEGV, SIGQUIT |
Chris Lattner | 62f50da | 2010-02-12 00:37:46 +0000 | [diff] [blame] | 84 | #ifdef SIGSYS |
| 85 | , SIGSYS |
| 86 | #endif |
| 87 | #ifdef SIGXCPU |
| 88 | , SIGXCPU |
| 89 | #endif |
Chris Lattner | 3b38fd6 | 2010-02-14 18:20:09 +0000 | [diff] [blame] | 90 | #ifdef SIGXFSZ |
Chris Lattner | 62f50da | 2010-02-12 00:37:46 +0000 | [diff] [blame] | 91 | , SIGXFSZ |
| 92 | #endif |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 93 | #ifdef SIGEMT |
| 94 | , SIGEMT |
| 95 | #endif |
| 96 | }; |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 97 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 98 | static unsigned NumRegisteredSignals = 0; |
| 99 | static struct { |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 100 | struct sigaction SA; |
| 101 | int SigNo; |
Craig Topper | fac9057 | 2015-12-01 06:12:59 +0000 | [diff] [blame] | 102 | } RegisteredSignalInfo[array_lengthof(IntSigs) + array_lengthof(KillSigs)]; |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 103 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 104 | |
| 105 | static void RegisterHandler(int Signal) { |
Craig Topper | fac9057 | 2015-12-01 06:12:59 +0000 | [diff] [blame] | 106 | assert(NumRegisteredSignals < array_lengthof(RegisteredSignalInfo) && |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 107 | "Out of space for signal handlers!"); |
| 108 | |
| 109 | struct sigaction NewHandler; |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 110 | |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 111 | NewHandler.sa_handler = SignalHandler; |
Richard Smith | b8b0be9 | 2016-05-23 06:47:37 +0000 | [diff] [blame] | 112 | NewHandler.sa_flags = SA_NODEFER | SA_RESETHAND | SA_ONSTACK; |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 113 | sigemptyset(&NewHandler.sa_mask); |
| 114 | |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 115 | // Install the new handler, save the old one in RegisteredSignalInfo. |
| 116 | sigaction(Signal, &NewHandler, |
| 117 | &RegisteredSignalInfo[NumRegisteredSignals].SA); |
| 118 | RegisteredSignalInfo[NumRegisteredSignals].SigNo = Signal; |
| 119 | ++NumRegisteredSignals; |
Chris Lattner | 6acb4d6 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 120 | } |
| 121 | |
Richard Smith | abab5d2 | 2016-05-20 21:26:00 +0000 | [diff] [blame] | 122 | #if defined(HAVE_SIGALTSTACK) |
Richard Smith | e881134 | 2016-05-20 21:07:41 +0000 | [diff] [blame] | 123 | // Hold onto the old alternate signal stack so that it's not reported as a leak. |
| 124 | // We don't make any attempt to remove our alt signal stack if we remove our |
| 125 | // signal handlers; that can't be done reliably if someone else is also trying |
| 126 | // to do the same thing. |
Richard Smith | 4b735c5 | 2016-05-20 21:38:15 +0000 | [diff] [blame] | 127 | static stack_t OldAltStack; |
Richard Smith | e881134 | 2016-05-20 21:07:41 +0000 | [diff] [blame] | 128 | |
| 129 | static void CreateSigAltStack() { |
| 130 | const size_t AltStackSize = MINSIGSTKSZ + 8192; |
| 131 | |
| 132 | // If we're executing on the alternate stack, or we already have an alternate |
| 133 | // signal stack that we're happy with, there's nothing for us to do. Don't |
| 134 | // reduce the size, some other part of the process might need a larger stack |
| 135 | // than we do. |
| 136 | if (sigaltstack(nullptr, &OldAltStack) != 0 || |
| 137 | OldAltStack.ss_flags & SS_ONSTACK || |
| 138 | (OldAltStack.ss_sp && OldAltStack.ss_size >= AltStackSize)) |
| 139 | return; |
| 140 | |
Richard Smith | 4b735c5 | 2016-05-20 21:38:15 +0000 | [diff] [blame] | 141 | stack_t AltStack = {}; |
Chris Bieneman | f236347 | 2016-05-21 00:36:47 +0000 | [diff] [blame] | 142 | AltStack.ss_sp = reinterpret_cast<char *>(malloc(AltStackSize)); |
Richard Smith | e881134 | 2016-05-20 21:07:41 +0000 | [diff] [blame] | 143 | AltStack.ss_size = AltStackSize; |
| 144 | if (sigaltstack(&AltStack, &OldAltStack) != 0) |
| 145 | free(AltStack.ss_sp); |
| 146 | } |
Richard Smith | abab5d2 | 2016-05-20 21:26:00 +0000 | [diff] [blame] | 147 | #else |
| 148 | static void CreateSigAltStack() {} |
| 149 | #endif |
Richard Smith | e881134 | 2016-05-20 21:07:41 +0000 | [diff] [blame] | 150 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 151 | static void RegisterHandlers() { |
Chris Bieneman | 017ebf0 | 2015-04-27 20:45:35 +0000 | [diff] [blame] | 152 | // We need to dereference the signals mutex during handler registration so |
| 153 | // that we force its construction. This is to prevent the first use being |
| 154 | // during handling an actual signal because you can't safely call new in a |
| 155 | // signal handler. |
| 156 | *SignalsMutex; |
Mehdi Amini | 766d05b | 2015-11-05 02:29:53 +0000 | [diff] [blame] | 157 | |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 158 | // If the handlers are already registered, we're done. |
| 159 | if (NumRegisteredSignals != 0) return; |
| 160 | |
Richard Smith | e881134 | 2016-05-20 21:07:41 +0000 | [diff] [blame] | 161 | // Create an alternate stack for signal handling. This is necessary for us to |
| 162 | // be able to reliably handle signals due to stack overflow. |
| 163 | CreateSigAltStack(); |
| 164 | |
Chris Bieneman | b1cd51e | 2014-08-29 01:05:16 +0000 | [diff] [blame] | 165 | for (auto S : IntSigs) RegisterHandler(S); |
| 166 | for (auto S : KillSigs) RegisterHandler(S); |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 167 | } |
| 168 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 169 | static void UnregisterHandlers() { |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 170 | // Restore all of the signal handlers to how they were before we showed up. |
| 171 | for (unsigned i = 0, e = NumRegisteredSignals; i != e; ++i) |
Chris Lattner | f2b6065 | 2009-03-23 06:46:20 +0000 | [diff] [blame] | 172 | sigaction(RegisteredSignalInfo[i].SigNo, |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 173 | &RegisteredSignalInfo[i].SA, nullptr); |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 174 | NumRegisteredSignals = 0; |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 175 | } |
| 176 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 177 | |
Dan Gohman | 288999b | 2010-05-27 23:11:55 +0000 | [diff] [blame] | 178 | /// RemoveFilesToRemove - Process the FilesToRemove list. This function |
| 179 | /// should be called with the SignalsMutex lock held. |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 180 | /// NB: This must be an async signal safe function. It cannot allocate or free |
| 181 | /// memory, even in debug builds. |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 182 | static void RemoveFilesToRemove() { |
Steven Wu | 9474669 | 2015-05-07 16:20:51 +0000 | [diff] [blame] | 183 | // Avoid constructing ManagedStatic in the signal handler. |
| 184 | // If FilesToRemove is not constructed, there are no files to remove. |
| 185 | if (!FilesToRemove.isConstructed()) |
| 186 | return; |
| 187 | |
Daniel Dunbar | 511479d | 2012-10-17 16:30:54 +0000 | [diff] [blame] | 188 | // We avoid iterators in case of debug iterators that allocate or release |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 189 | // memory. |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 190 | std::vector<std::string>& FilesToRemoveRef = *FilesToRemove; |
| 191 | for (unsigned i = 0, e = FilesToRemoveRef.size(); i != e; ++i) { |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 192 | const char *path = FilesToRemoveRef[i].c_str(); |
Daniel Dunbar | 511479d | 2012-10-17 16:30:54 +0000 | [diff] [blame] | 193 | |
| 194 | // Get the status so we can determine if it's a file or directory. If we |
| 195 | // can't stat the file, ignore it. |
| 196 | struct stat buf; |
| 197 | if (stat(path, &buf) != 0) |
| 198 | continue; |
| 199 | |
| 200 | // If this is not a regular file, ignore it. We want to prevent removal of |
| 201 | // special files like /dev/null, even if the compiler is being run with the |
| 202 | // super-user permissions. |
| 203 | if (!S_ISREG(buf.st_mode)) |
| 204 | continue; |
Mehdi Amini | 766d05b | 2015-11-05 02:29:53 +0000 | [diff] [blame] | 205 | |
Daniel Dunbar | 511479d | 2012-10-17 16:30:54 +0000 | [diff] [blame] | 206 | // Otherwise, remove the file. We ignore any errors here as there is nothing |
| 207 | // else we can do. |
| 208 | unlink(path); |
Dan Gohman | 288999b | 2010-05-27 23:11:55 +0000 | [diff] [blame] | 209 | } |
| 210 | } |
Chris Lattner | 6acb4d6 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 211 | |
| 212 | // SignalHandler - The signal handler that runs. |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 213 | static RETSIGTYPE SignalHandler(int Sig) { |
Chris Lattner | bbbbbf3 | 2009-03-05 18:22:14 +0000 | [diff] [blame] | 214 | // Restore the signal behavior to default, so that the program actually |
| 215 | // crashes when we return and the signal reissues. This also ensures that if |
| 216 | // we crash in our signal handler that the program will terminate immediately |
| 217 | // instead of recursing in the signal handler. |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 218 | UnregisterHandlers(); |
Chris Lattner | 6acb4d6 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 219 | |
| 220 | // Unmask all potentially blocked kill signals. |
| 221 | sigset_t SigMask; |
| 222 | sigfillset(&SigMask); |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 223 | sigprocmask(SIG_UNBLOCK, &SigMask, nullptr); |
Chris Lattner | bbbbbf3 | 2009-03-05 18:22:14 +0000 | [diff] [blame] | 224 | |
Dylan Noblesmith | c4c5180 | 2014-08-23 23:07:14 +0000 | [diff] [blame] | 225 | { |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 226 | unique_lock<SmartMutex<true>> Guard(*SignalsMutex); |
Dylan Noblesmith | c4c5180 | 2014-08-23 23:07:14 +0000 | [diff] [blame] | 227 | RemoveFilesToRemove(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 228 | |
Chris Bieneman | b1cd51e | 2014-08-29 01:05:16 +0000 | [diff] [blame] | 229 | if (std::find(std::begin(IntSigs), std::end(IntSigs), Sig) |
| 230 | != std::end(IntSigs)) { |
Dylan Noblesmith | c4c5180 | 2014-08-23 23:07:14 +0000 | [diff] [blame] | 231 | if (InterruptFunction) { |
| 232 | void (*IF)() = InterruptFunction; |
| 233 | Guard.unlock(); |
| 234 | InterruptFunction = nullptr; |
| 235 | IF(); // run the interrupt function. |
| 236 | return; |
| 237 | } |
| 238 | |
| 239 | Guard.unlock(); |
| 240 | raise(Sig); // Execute the default handler. |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 241 | return; |
Dylan Noblesmith | c4c5180 | 2014-08-23 23:07:14 +0000 | [diff] [blame] | 242 | } |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 243 | } |
| 244 | |
| 245 | // Otherwise if it is a fault (like SEGV) run any handler. |
Yaron Keren | 2873810 | 2015-07-22 21:11:17 +0000 | [diff] [blame] | 246 | llvm::sys::RunSignalHandlers(); |
Ulrich Weigand | 90c9abd | 2013-05-03 12:22:11 +0000 | [diff] [blame] | 247 | |
| 248 | #ifdef __s390__ |
| 249 | // On S/390, certain signals are delivered with PSW Address pointing to |
| 250 | // *after* the faulting instruction. Simply returning from the signal |
| 251 | // handler would continue execution after that point, instead of |
| 252 | // re-raising the signal. Raise the signal manually in those cases. |
| 253 | if (Sig == SIGILL || Sig == SIGFPE || Sig == SIGTRAP) |
| 254 | raise(Sig); |
| 255 | #endif |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 256 | } |
| 257 | |
Daniel Dunbar | 6827256 | 2010-05-08 02:10:34 +0000 | [diff] [blame] | 258 | void llvm::sys::RunInterruptHandlers() { |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 259 | sys::SmartScopedLock<true> Guard(*SignalsMutex); |
Dan Gohman | 288999b | 2010-05-27 23:11:55 +0000 | [diff] [blame] | 260 | RemoveFilesToRemove(); |
Daniel Dunbar | 6827256 | 2010-05-08 02:10:34 +0000 | [diff] [blame] | 261 | } |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 262 | |
Chris Lattner | bb1ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 263 | void llvm::sys::SetInterruptFunction(void (*IF)()) { |
Dylan Noblesmith | 4704ffe | 2014-08-23 22:49:17 +0000 | [diff] [blame] | 264 | { |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 265 | sys::SmartScopedLock<true> Guard(*SignalsMutex); |
Dylan Noblesmith | 4704ffe | 2014-08-23 22:49:17 +0000 | [diff] [blame] | 266 | InterruptFunction = IF; |
| 267 | } |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 268 | RegisterHandlers(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 269 | } |
| 270 | |
| 271 | // RemoveFileOnSignal - The public API |
Rafael Espindola | 4f35da7 | 2013-06-13 21:16:58 +0000 | [diff] [blame] | 272 | bool llvm::sys::RemoveFileOnSignal(StringRef Filename, |
Chris Lattner | bb1ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 273 | std::string* ErrMsg) { |
Dylan Noblesmith | 4704ffe | 2014-08-23 22:49:17 +0000 | [diff] [blame] | 274 | { |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 275 | sys::SmartScopedLock<true> Guard(*SignalsMutex); |
Yaron Keren | 4135e4c | 2015-07-23 05:49:29 +0000 | [diff] [blame] | 276 | FilesToRemove->push_back(Filename); |
Dylan Noblesmith | 4704ffe | 2014-08-23 22:49:17 +0000 | [diff] [blame] | 277 | } |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 278 | |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 279 | RegisterHandlers(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 280 | return false; |
| 281 | } |
| 282 | |
Dan Gohman | e201c07 | 2010-09-01 14:17:34 +0000 | [diff] [blame] | 283 | // DontRemoveFileOnSignal - The public API |
Rafael Espindola | 4f35da7 | 2013-06-13 21:16:58 +0000 | [diff] [blame] | 284 | void llvm::sys::DontRemoveFileOnSignal(StringRef Filename) { |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 285 | sys::SmartScopedLock<true> Guard(*SignalsMutex); |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 286 | std::vector<std::string>::reverse_iterator RI = |
David Majnemer | 4253126 | 2016-08-12 03:55:06 +0000 | [diff] [blame^] | 287 | find(reverse(*FilesToRemove), Filename); |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 288 | std::vector<std::string>::iterator I = FilesToRemove->end(); |
| 289 | if (RI != FilesToRemove->rend()) |
| 290 | I = FilesToRemove->erase(RI.base()-1); |
Dan Gohman | e201c07 | 2010-09-01 14:17:34 +0000 | [diff] [blame] | 291 | } |
| 292 | |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 293 | /// AddSignalHandler - Add a function to be called when a signal is delivered |
| 294 | /// to the process. The handler can have a cookie passed to it to identify |
| 295 | /// what instance of the handler it is. |
Chris Lattner | bb1ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 296 | void llvm::sys::AddSignalHandler(void (*FnPtr)(void *), void *Cookie) { |
Chris Bieneman | 186e7d1 | 2014-09-02 23:48:13 +0000 | [diff] [blame] | 297 | CallBacksToRun->push_back(std::make_pair(FnPtr, Cookie)); |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 298 | RegisterHandlers(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 299 | } |
| 300 | |
Reid Kleckner | 40aa9c6 | 2015-11-09 23:10:29 +0000 | [diff] [blame] | 301 | #if defined(HAVE_BACKTRACE) && defined(ENABLE_BACKTRACES) && HAVE_LINK_H && \ |
| 302 | (defined(__linux__) || defined(__FreeBSD__) || \ |
| 303 | defined(__FreeBSD_kernel__) || defined(__NetBSD__)) |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 304 | struct DlIteratePhdrData { |
| 305 | void **StackTrace; |
| 306 | int depth; |
| 307 | bool first; |
| 308 | const char **modules; |
| 309 | intptr_t *offsets; |
| 310 | const char *main_exec_name; |
| 311 | }; |
| 312 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 313 | static int dl_iterate_phdr_cb(dl_phdr_info *info, size_t size, void *arg) { |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 314 | DlIteratePhdrData *data = (DlIteratePhdrData*)arg; |
| 315 | const char *name = data->first ? data->main_exec_name : info->dlpi_name; |
| 316 | data->first = false; |
| 317 | for (int i = 0; i < info->dlpi_phnum; i++) { |
| 318 | const auto *phdr = &info->dlpi_phdr[i]; |
| 319 | if (phdr->p_type != PT_LOAD) |
| 320 | continue; |
| 321 | intptr_t beg = info->dlpi_addr + phdr->p_vaddr; |
| 322 | intptr_t end = beg + phdr->p_memsz; |
| 323 | for (int j = 0; j < data->depth; j++) { |
| 324 | if (data->modules[j]) |
| 325 | continue; |
| 326 | intptr_t addr = (intptr_t)data->StackTrace[j]; |
| 327 | if (beg <= addr && addr < end) { |
| 328 | data->modules[j] = name; |
| 329 | data->offsets[j] = addr - info->dlpi_addr; |
| 330 | } |
| 331 | } |
| 332 | } |
| 333 | return 0; |
| 334 | } |
| 335 | |
Reid Kleckner | 40aa9c6 | 2015-11-09 23:10:29 +0000 | [diff] [blame] | 336 | /// If this is an ELF platform, we can find all loaded modules and their virtual |
| 337 | /// addresses with dl_iterate_phdr. |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 338 | static bool findModulesAndOffsets(void **StackTrace, int Depth, |
| 339 | const char **Modules, intptr_t *Offsets, |
Reid Kleckner | ba5757d | 2015-11-05 01:07:54 +0000 | [diff] [blame] | 340 | const char *MainExecutableName, |
| 341 | StringSaver &StrPool) { |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 342 | DlIteratePhdrData data = {StackTrace, Depth, true, |
| 343 | Modules, Offsets, MainExecutableName}; |
| 344 | dl_iterate_phdr(dl_iterate_phdr_cb, &data); |
| 345 | return true; |
| 346 | } |
| 347 | #else |
Reid Kleckner | 40aa9c6 | 2015-11-09 23:10:29 +0000 | [diff] [blame] | 348 | /// This platform does not have dl_iterate_phdr, so we do not yet know how to |
| 349 | /// find all loaded DSOs. |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 350 | static bool findModulesAndOffsets(void **StackTrace, int Depth, |
| 351 | const char **Modules, intptr_t *Offsets, |
Mehdi Amini | 7ae928e | 2015-11-05 02:29:57 +0000 | [diff] [blame] | 352 | const char *MainExecutableName, |
| 353 | StringSaver &StrPool) { |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 354 | return false; |
| 355 | } |
Reid Kleckner | 40aa9c6 | 2015-11-09 23:10:29 +0000 | [diff] [blame] | 356 | #endif // defined(HAVE_BACKTRACE) && defined(ENABLE_BACKTRACES) && ... |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 357 | |
Richard Smith | 14d9651 | 2016-05-20 21:18:12 +0000 | [diff] [blame] | 358 | #if defined(ENABLE_BACKTRACES) && defined(HAVE_UNWIND_BACKTRACE) |
| 359 | static int unwindBacktrace(void **StackTrace, int MaxEntries) { |
| 360 | if (MaxEntries < 0) |
| 361 | return 0; |
| 362 | |
| 363 | // Skip the first frame ('unwindBacktrace' itself). |
| 364 | int Entries = -1; |
| 365 | |
| 366 | auto HandleFrame = [&](_Unwind_Context *Context) -> _Unwind_Reason_Code { |
| 367 | // Apparently we need to detect reaching the end of the stack ourselves. |
| 368 | void *IP = (void *)_Unwind_GetIP(Context); |
| 369 | if (!IP) |
| 370 | return _URC_END_OF_STACK; |
| 371 | |
| 372 | assert(Entries < MaxEntries && "recursively called after END_OF_STACK?"); |
| 373 | if (Entries >= 0) |
| 374 | StackTrace[Entries] = IP; |
| 375 | |
| 376 | if (++Entries == MaxEntries) |
| 377 | return _URC_END_OF_STACK; |
| 378 | return _URC_NO_REASON; |
| 379 | }; |
| 380 | |
| 381 | _Unwind_Backtrace( |
| 382 | [](_Unwind_Context *Context, void *Handler) { |
| 383 | return (*static_cast<decltype(HandleFrame) *>(Handler))(Context); |
| 384 | }, |
| 385 | static_cast<void *>(&HandleFrame)); |
| 386 | return std::max(Entries, 0); |
| 387 | } |
| 388 | #endif |
| 389 | |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 390 | // PrintStackTrace - In the case of a program crash or fault, print out a stack |
| 391 | // trace so that the user has an indication of why and where we died. |
| 392 | // |
| 393 | // On glibc systems we have the 'backtrace' function, which works nicely, but |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 394 | // doesn't demangle symbols. |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 395 | void llvm::sys::PrintStackTrace(raw_ostream &OS) { |
Richard Smith | 14d9651 | 2016-05-20 21:18:12 +0000 | [diff] [blame] | 396 | #if defined(ENABLE_BACKTRACES) |
| 397 | static void *StackTrace[256]; |
| 398 | int depth = 0; |
| 399 | #if defined(HAVE_BACKTRACE) |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 400 | // Use backtrace() to output a backtrace on Linux systems with glibc. |
Richard Smith | 14d9651 | 2016-05-20 21:18:12 +0000 | [diff] [blame] | 401 | if (!depth) |
| 402 | depth = backtrace(StackTrace, static_cast<int>(array_lengthof(StackTrace))); |
| 403 | #endif |
| 404 | #if defined(HAVE_UNWIND_BACKTRACE) |
| 405 | // Try _Unwind_Backtrace() if backtrace() failed. |
| 406 | if (!depth) |
| 407 | depth = unwindBacktrace(StackTrace, |
Evan Cheng | 86cb318 | 2008-05-05 18:30:58 +0000 | [diff] [blame] | 408 | static_cast<int>(array_lengthof(StackTrace))); |
Richard Smith | 14d9651 | 2016-05-20 21:18:12 +0000 | [diff] [blame] | 409 | #endif |
| 410 | if (!depth) |
| 411 | return; |
| 412 | |
Richard Smith | 2ad6d48 | 2016-06-09 00:53:21 +0000 | [diff] [blame] | 413 | if (printSymbolizedStackTrace(Argv0, StackTrace, depth, OS)) |
Alexey Samsonov | 8a584bb | 2014-10-10 22:06:59 +0000 | [diff] [blame] | 414 | return; |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 415 | #if HAVE_DLFCN_H && __GNUG__ |
| 416 | int width = 0; |
| 417 | for (int i = 0; i < depth; ++i) { |
| 418 | Dl_info dlinfo; |
| 419 | dladdr(StackTrace[i], &dlinfo); |
Dan Gohman | 1f517dd | 2009-02-10 17:56:28 +0000 | [diff] [blame] | 420 | const char* name = strrchr(dlinfo.dli_fname, '/'); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 421 | |
| 422 | int nwidth; |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 423 | if (!name) nwidth = strlen(dlinfo.dli_fname); |
| 424 | else nwidth = strlen(name) - 1; |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 425 | |
| 426 | if (nwidth > width) width = nwidth; |
| 427 | } |
| 428 | |
| 429 | for (int i = 0; i < depth; ++i) { |
| 430 | Dl_info dlinfo; |
| 431 | dladdr(StackTrace[i], &dlinfo); |
| 432 | |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 433 | OS << format("%-2d", i); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 434 | |
Dan Gohman | 1f517dd | 2009-02-10 17:56:28 +0000 | [diff] [blame] | 435 | const char* name = strrchr(dlinfo.dli_fname, '/'); |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 436 | if (!name) OS << format(" %-*s", width, dlinfo.dli_fname); |
| 437 | else OS << format(" %-*s", width, name+1); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 438 | |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 439 | OS << format(" %#0*lx", (int)(sizeof(void*) * 2) + 2, |
| 440 | (unsigned long)StackTrace[i]); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 441 | |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 442 | if (dlinfo.dli_sname != nullptr) { |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 443 | OS << ' '; |
Joerg Sonnenberger | 6624183 | 2013-04-27 22:12:32 +0000 | [diff] [blame] | 444 | # if HAVE_CXXABI_H |
Benjamin Kramer | 83e2a44 | 2013-04-28 07:47:04 +0000 | [diff] [blame] | 445 | int res; |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 446 | char* d = abi::__cxa_demangle(dlinfo.dli_sname, nullptr, nullptr, &res); |
Joerg Sonnenberger | 6624183 | 2013-04-27 22:12:32 +0000 | [diff] [blame] | 447 | # else |
| 448 | char* d = NULL; |
| 449 | # endif |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 450 | if (!d) OS << dlinfo.dli_sname; |
| 451 | else OS << d; |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 452 | free(d); |
| 453 | |
Edwin Vane | 44338e0 | 2013-01-28 19:34:42 +0000 | [diff] [blame] | 454 | // FIXME: When we move to C++11, use %t length modifier. It's not in |
| 455 | // C++03 and causes gcc to issue warnings. Losing the upper 32 bits of |
| 456 | // the stack offset for a stack dump isn't likely to cause any problems. |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 457 | OS << format(" + %u",(unsigned)((char*)StackTrace[i]- |
| 458 | (char*)dlinfo.dli_saddr)); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 459 | } |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 460 | OS << '\n'; |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 461 | } |
Richard Smith | 14d9651 | 2016-05-20 21:18:12 +0000 | [diff] [blame] | 462 | #elif defined(HAVE_BACKTRACE) |
Lauro Ramos Venancio | eab51d3 | 2008-02-15 18:05:54 +0000 | [diff] [blame] | 463 | backtrace_symbols_fd(StackTrace, depth, STDERR_FILENO); |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 464 | #endif |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 465 | #endif |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 466 | } |
| 467 | |
Duncan P. N. Exon Smith | 91d3cfe | 2016-04-05 20:45:04 +0000 | [diff] [blame] | 468 | static void PrintStackTraceSignalHandler(void *) { |
Zachary Turner | cd132c9 | 2015-03-05 19:10:52 +0000 | [diff] [blame] | 469 | PrintStackTrace(llvm::errs()); |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 470 | } |
| 471 | |
Michael J. Spencer | 89b0ad2 | 2015-01-29 17:20:29 +0000 | [diff] [blame] | 472 | void llvm::sys::DisableSystemDialogsOnCrash() {} |
| 473 | |
NAKAMURA Takumi | 8a54d81 | 2012-09-06 03:01:43 +0000 | [diff] [blame] | 474 | /// PrintStackTraceOnErrorSignal - When an error signal (such as SIGABRT or |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 475 | /// SIGSEGV) is delivered to the process, print a stack trace and then exit. |
Richard Smith | 2ad6d48 | 2016-06-09 00:53:21 +0000 | [diff] [blame] | 476 | void llvm::sys::PrintStackTraceOnErrorSignal(StringRef Argv0, |
| 477 | bool DisableCrashReporting) { |
| 478 | ::Argv0 = Argv0; |
| 479 | |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 480 | AddSignalHandler(PrintStackTraceSignalHandler, nullptr); |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 481 | |
Daniel Dunbar | eb6c708 | 2013-08-30 20:39:21 +0000 | [diff] [blame] | 482 | #if defined(__APPLE__) && defined(ENABLE_CRASH_OVERRIDES) |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 483 | // Environment variable to disable any kind of crash dialog. |
Pete Cooper | 6bea2f4 | 2015-04-07 20:43:23 +0000 | [diff] [blame] | 484 | if (DisableCrashReporting || getenv("LLVM_DISABLE_CRASH_REPORT")) { |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 485 | mach_port_t self = mach_task_self(); |
| 486 | |
| 487 | exception_mask_t mask = EXC_MASK_CRASH; |
| 488 | |
NAKAMURA Takumi | ffa1571 | 2012-09-06 03:02:56 +0000 | [diff] [blame] | 489 | kern_return_t ret = task_set_exception_ports(self, |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 490 | mask, |
Jean-Daniel Dupas | a573b22 | 2012-03-24 22:17:50 +0000 | [diff] [blame] | 491 | MACH_PORT_NULL, |
NAKAMURA Takumi | ffa1571 | 2012-09-06 03:02:56 +0000 | [diff] [blame] | 492 | EXCEPTION_STATE_IDENTITY | MACH_EXCEPTION_CODES, |
Jean-Daniel Dupas | a573b22 | 2012-03-24 22:17:50 +0000 | [diff] [blame] | 493 | THREAD_STATE_NONE); |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 494 | (void)ret; |
| 495 | } |
| 496 | #endif |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 497 | } |