Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +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" |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 17 | #include "llvm/Support/Mutex.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 18 | #include <algorithm> |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 19 | #include <string> |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 20 | #include <vector> |
Reid Spencer | d554bbc | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 21 | #if HAVE_EXECINFO_H |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 22 | # include <execinfo.h> // For backtrace(). |
| 23 | #endif |
Reid Spencer | d554bbc | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 24 | #if HAVE_SIGNAL_H |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 25 | #include <signal.h> |
Reid Spencer | d554bbc | 2004-12-27 06:16:52 +0000 | [diff] [blame] | 26 | #endif |
Reid Spencer | ceeb918 | 2007-04-07 18:52:17 +0000 | [diff] [blame] | 27 | #if HAVE_SYS_STAT_H |
| 28 | #include <sys/stat.h> |
| 29 | #endif |
Joerg Sonnenberger | 6624183 | 2013-04-27 22:12:32 +0000 | [diff] [blame] | 30 | #if HAVE_CXXABI_H |
Joerg Sonnenberger | 4474409 | 2013-04-27 22:32:54 +0000 | [diff] [blame] | 31 | #include <cxxabi.h> |
Joerg Sonnenberger | 6624183 | 2013-04-27 22:12:32 +0000 | [diff] [blame] | 32 | #endif |
| 33 | #if HAVE_DLFCN_H |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 34 | #include <dlfcn.h> |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 35 | #endif |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 36 | #if HAVE_MACH_MACH_H |
| 37 | #include <mach/mach.h> |
| 38 | #endif |
| 39 | |
Chris Lattner | 80df7c4 | 2006-08-01 17:59:14 +0000 | [diff] [blame] | 40 | using namespace llvm; |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 41 | |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 42 | static RETSIGTYPE SignalHandler(int Sig); // defined below. |
| 43 | |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 44 | static SmartMutex<true> SignalsMutex; |
| 45 | |
Chris Lattner | 6a5d6ec | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 46 | /// InterruptFunction - The function to call if ctrl-c is pressed. |
Dan Gohman | f4bc782 | 2008-04-10 21:11:47 +0000 | [diff] [blame] | 47 | static void (*InterruptFunction)() = 0; |
Chris Lattner | 6a5d6ec | 2005-08-02 02:14:22 +0000 | [diff] [blame] | 48 | |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 49 | static std::vector<std::string> FilesToRemove; |
Jeffrey Yasskin | c4e3f05 | 2010-03-17 07:08:12 +0000 | [diff] [blame] | 50 | static std::vector<std::pair<void(*)(void*), void*> > CallBacksToRun; |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 51 | |
Dan Gohman | f857cd7 | 2013-02-20 19:28:46 +0000 | [diff] [blame] | 52 | // IntSigs - Signals that represent requested termination. There's no bug |
| 53 | // or failure, or if there is, it's not our direct responsibility. For whatever |
| 54 | // reason, our continued execution is no longer desirable. |
Dan Gohman | f4bc782 | 2008-04-10 21:11:47 +0000 | [diff] [blame] | 55 | static const int IntSigs[] = { |
Dan Gohman | 5cdb345 | 2013-02-20 19:15:01 +0000 | [diff] [blame] | 56 | SIGHUP, SIGINT, SIGPIPE, SIGTERM, SIGUSR1, SIGUSR2 |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 57 | }; |
Dan Gohman | 4e974ab | 2008-05-14 00:42:30 +0000 | [diff] [blame] | 58 | static const int *const IntSigsEnd = |
| 59 | IntSigs + sizeof(IntSigs) / sizeof(IntSigs[0]); |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 60 | |
Dan Gohman | f857cd7 | 2013-02-20 19:28:46 +0000 | [diff] [blame] | 61 | // KillSigs - Signals that represent that we have a bug, and our prompt |
| 62 | // termination has been ordered. |
Dan Gohman | f4bc782 | 2008-04-10 21:11:47 +0000 | [diff] [blame] | 63 | static const int KillSigs[] = { |
Dan Gohman | 5cdb345 | 2013-02-20 19:15:01 +0000 | [diff] [blame] | 64 | SIGILL, SIGTRAP, SIGABRT, SIGFPE, SIGBUS, SIGSEGV, SIGQUIT |
Chris Lattner | 62f50da | 2010-02-12 00:37:46 +0000 | [diff] [blame] | 65 | #ifdef SIGSYS |
| 66 | , SIGSYS |
| 67 | #endif |
| 68 | #ifdef SIGXCPU |
| 69 | , SIGXCPU |
| 70 | #endif |
Chris Lattner | 3b38fd6 | 2010-02-14 18:20:09 +0000 | [diff] [blame] | 71 | #ifdef SIGXFSZ |
Chris Lattner | 62f50da | 2010-02-12 00:37:46 +0000 | [diff] [blame] | 72 | , SIGXFSZ |
| 73 | #endif |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 74 | #ifdef SIGEMT |
| 75 | , SIGEMT |
| 76 | #endif |
| 77 | }; |
Dan Gohman | 4e974ab | 2008-05-14 00:42:30 +0000 | [diff] [blame] | 78 | static const int *const KillSigsEnd = |
| 79 | KillSigs + sizeof(KillSigs) / sizeof(KillSigs[0]); |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 80 | |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 81 | static unsigned NumRegisteredSignals = 0; |
| 82 | static struct { |
| 83 | struct sigaction SA; |
| 84 | int SigNo; |
| 85 | } RegisteredSignalInfo[(sizeof(IntSigs)+sizeof(KillSigs))/sizeof(KillSigs[0])]; |
| 86 | |
| 87 | |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 88 | static void RegisterHandler(int Signal) { |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 89 | assert(NumRegisteredSignals < |
| 90 | sizeof(RegisteredSignalInfo)/sizeof(RegisteredSignalInfo[0]) && |
| 91 | "Out of space for signal handlers!"); |
| 92 | |
| 93 | struct sigaction NewHandler; |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 94 | |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 95 | NewHandler.sa_handler = SignalHandler; |
| 96 | NewHandler.sa_flags = SA_NODEFER|SA_RESETHAND; |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 97 | sigemptyset(&NewHandler.sa_mask); |
| 98 | |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 99 | // Install the new handler, save the old one in RegisteredSignalInfo. |
| 100 | sigaction(Signal, &NewHandler, |
| 101 | &RegisteredSignalInfo[NumRegisteredSignals].SA); |
| 102 | RegisteredSignalInfo[NumRegisteredSignals].SigNo = Signal; |
| 103 | ++NumRegisteredSignals; |
Chris Lattner | 6acb4d6 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 104 | } |
| 105 | |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 106 | static void RegisterHandlers() { |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 107 | // If the handlers are already registered, we're done. |
| 108 | if (NumRegisteredSignals != 0) return; |
| 109 | |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 110 | std::for_each(IntSigs, IntSigsEnd, RegisterHandler); |
| 111 | std::for_each(KillSigs, KillSigsEnd, RegisterHandler); |
| 112 | } |
| 113 | |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 114 | static void UnregisterHandlers() { |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 115 | // Restore all of the signal handlers to how they were before we showed up. |
| 116 | for (unsigned i = 0, e = NumRegisteredSignals; i != e; ++i) |
Chris Lattner | f2b6065 | 2009-03-23 06:46:20 +0000 | [diff] [blame] | 117 | sigaction(RegisteredSignalInfo[i].SigNo, |
| 118 | &RegisteredSignalInfo[i].SA, 0); |
Chris Lattner | fb95472 | 2009-03-23 05:55:36 +0000 | [diff] [blame] | 119 | NumRegisteredSignals = 0; |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 120 | } |
| 121 | |
| 122 | |
Dan Gohman | 288999b | 2010-05-27 23:11:55 +0000 | [diff] [blame] | 123 | /// RemoveFilesToRemove - Process the FilesToRemove list. This function |
| 124 | /// should be called with the SignalsMutex lock held. |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 125 | /// NB: This must be an async signal safe function. It cannot allocate or free |
| 126 | /// memory, even in debug builds. |
Dan Gohman | 288999b | 2010-05-27 23:11:55 +0000 | [diff] [blame] | 127 | static void RemoveFilesToRemove() { |
Daniel Dunbar | 511479d | 2012-10-17 16:30:54 +0000 | [diff] [blame] | 128 | // We avoid iterators in case of debug iterators that allocate or release |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 129 | // memory. |
| 130 | for (unsigned i = 0, e = FilesToRemove.size(); i != e; ++i) { |
Daniel Dunbar | 511479d | 2012-10-17 16:30:54 +0000 | [diff] [blame] | 131 | // We rely on a std::string implementation for which repeated calls to |
| 132 | // 'c_str()' don't allocate memory. We pre-call 'c_str()' on all of these |
| 133 | // strings to try to ensure this is safe. |
| 134 | const char *path = FilesToRemove[i].c_str(); |
| 135 | |
| 136 | // Get the status so we can determine if it's a file or directory. If we |
| 137 | // can't stat the file, ignore it. |
| 138 | struct stat buf; |
| 139 | if (stat(path, &buf) != 0) |
| 140 | continue; |
| 141 | |
| 142 | // If this is not a regular file, ignore it. We want to prevent removal of |
| 143 | // special files like /dev/null, even if the compiler is being run with the |
| 144 | // super-user permissions. |
| 145 | if (!S_ISREG(buf.st_mode)) |
| 146 | continue; |
| 147 | |
| 148 | // Otherwise, remove the file. We ignore any errors here as there is nothing |
| 149 | // else we can do. |
| 150 | unlink(path); |
Dan Gohman | 288999b | 2010-05-27 23:11:55 +0000 | [diff] [blame] | 151 | } |
| 152 | } |
Chris Lattner | 6acb4d6 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 153 | |
| 154 | // SignalHandler - The signal handler that runs. |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 155 | static RETSIGTYPE SignalHandler(int Sig) { |
Chris Lattner | bbbbbf3 | 2009-03-05 18:22:14 +0000 | [diff] [blame] | 156 | // Restore the signal behavior to default, so that the program actually |
| 157 | // crashes when we return and the signal reissues. This also ensures that if |
| 158 | // we crash in our signal handler that the program will terminate immediately |
| 159 | // instead of recursing in the signal handler. |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 160 | UnregisterHandlers(); |
Chris Lattner | 6acb4d6 | 2009-03-07 08:15:47 +0000 | [diff] [blame] | 161 | |
| 162 | // Unmask all potentially blocked kill signals. |
| 163 | sigset_t SigMask; |
| 164 | sigfillset(&SigMask); |
| 165 | sigprocmask(SIG_UNBLOCK, &SigMask, 0); |
Chris Lattner | bbbbbf3 | 2009-03-05 18:22:14 +0000 | [diff] [blame] | 166 | |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 167 | SignalsMutex.acquire(); |
Dan Gohman | 288999b | 2010-05-27 23:11:55 +0000 | [diff] [blame] | 168 | RemoveFilesToRemove(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 169 | |
| 170 | if (std::find(IntSigs, IntSigsEnd, Sig) != IntSigsEnd) { |
| 171 | if (InterruptFunction) { |
| 172 | void (*IF)() = InterruptFunction; |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 173 | SignalsMutex.release(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 174 | InterruptFunction = 0; |
| 175 | IF(); // run the interrupt function. |
| 176 | return; |
| 177 | } |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 178 | |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 179 | SignalsMutex.release(); |
Chris Lattner | ce8b7d2 | 2009-04-12 23:33:13 +0000 | [diff] [blame] | 180 | raise(Sig); // Execute the default handler. |
| 181 | return; |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 182 | } |
| 183 | |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 184 | SignalsMutex.release(); |
| 185 | |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 186 | // Otherwise if it is a fault (like SEGV) run any handler. |
Jeffrey Yasskin | c4e3f05 | 2010-03-17 07:08:12 +0000 | [diff] [blame] | 187 | for (unsigned i = 0, e = CallBacksToRun.size(); i != e; ++i) |
| 188 | CallBacksToRun[i].first(CallBacksToRun[i].second); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 189 | } |
| 190 | |
Daniel Dunbar | 6827256 | 2010-05-08 02:10:34 +0000 | [diff] [blame] | 191 | void llvm::sys::RunInterruptHandlers() { |
Dan Gohman | 288999b | 2010-05-27 23:11:55 +0000 | [diff] [blame] | 192 | SignalsMutex.acquire(); |
| 193 | RemoveFilesToRemove(); |
| 194 | SignalsMutex.release(); |
Daniel Dunbar | 6827256 | 2010-05-08 02:10:34 +0000 | [diff] [blame] | 195 | } |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 196 | |
Chris Lattner | bb1ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 197 | void llvm::sys::SetInterruptFunction(void (*IF)()) { |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 198 | SignalsMutex.acquire(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 199 | InterruptFunction = IF; |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 200 | SignalsMutex.release(); |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 201 | RegisterHandlers(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 202 | } |
| 203 | |
| 204 | // RemoveFileOnSignal - The public API |
Chris Lattner | bb1ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 205 | bool llvm::sys::RemoveFileOnSignal(const sys::Path &Filename, |
| 206 | std::string* ErrMsg) { |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 207 | SignalsMutex.acquire(); |
Chandler Carruth | 52de271 | 2012-06-16 00:44:07 +0000 | [diff] [blame] | 208 | std::string *OldPtr = FilesToRemove.empty() ? 0 : &FilesToRemove[0]; |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 209 | FilesToRemove.push_back(Filename.str()); |
| 210 | |
| 211 | // We want to call 'c_str()' on every std::string in this vector so that if |
| 212 | // the underlying implementation requires a re-allocation, it happens here |
| 213 | // rather than inside of the signal handler. If we see the vector grow, we |
| 214 | // have to call it on every entry. If it remains in place, we only need to |
| 215 | // call it on the latest one. |
| 216 | if (OldPtr == &FilesToRemove[0]) |
| 217 | FilesToRemove.back().c_str(); |
| 218 | else |
| 219 | for (unsigned i = 0, e = FilesToRemove.size(); i != e; ++i) |
| 220 | FilesToRemove[i].c_str(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 221 | |
Owen Anderson | 820739d | 2009-08-17 17:07:22 +0000 | [diff] [blame] | 222 | SignalsMutex.release(); |
| 223 | |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 224 | RegisterHandlers(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 225 | return false; |
| 226 | } |
| 227 | |
Dan Gohman | e201c07 | 2010-09-01 14:17:34 +0000 | [diff] [blame] | 228 | // DontRemoveFileOnSignal - The public API |
| 229 | void llvm::sys::DontRemoveFileOnSignal(const sys::Path &Filename) { |
| 230 | SignalsMutex.acquire(); |
Chandler Carruth | e6196eb | 2012-06-16 00:09:41 +0000 | [diff] [blame] | 231 | std::vector<std::string>::reverse_iterator RI = |
| 232 | std::find(FilesToRemove.rbegin(), FilesToRemove.rend(), Filename.str()); |
| 233 | std::vector<std::string>::iterator I = FilesToRemove.end(); |
| 234 | if (RI != FilesToRemove.rend()) |
| 235 | I = FilesToRemove.erase(RI.base()-1); |
| 236 | |
| 237 | // We need to call c_str() on every element which would have been moved by |
| 238 | // the erase. These elements, in a C++98 implementation where c_str() |
| 239 | // requires a reallocation on the first call may have had the call to c_str() |
| 240 | // made on insertion become invalid by being copied down an element. |
| 241 | for (std::vector<std::string>::iterator E = FilesToRemove.end(); I != E; ++I) |
| 242 | I->c_str(); |
| 243 | |
Dan Gohman | e201c07 | 2010-09-01 14:17:34 +0000 | [diff] [blame] | 244 | SignalsMutex.release(); |
| 245 | } |
| 246 | |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 247 | /// AddSignalHandler - Add a function to be called when a signal is delivered |
| 248 | /// to the process. The handler can have a cookie passed to it to identify |
| 249 | /// what instance of the handler it is. |
Chris Lattner | bb1ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 250 | void llvm::sys::AddSignalHandler(void (*FnPtr)(void *), void *Cookie) { |
Jeffrey Yasskin | c4e3f05 | 2010-03-17 07:08:12 +0000 | [diff] [blame] | 251 | CallBacksToRun.push_back(std::make_pair(FnPtr, Cookie)); |
Chris Lattner | f299a68 | 2009-03-23 05:42:29 +0000 | [diff] [blame] | 252 | RegisterHandlers(); |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 253 | } |
| 254 | |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 255 | |
| 256 | // PrintStackTrace - In the case of a program crash or fault, print out a stack |
| 257 | // trace so that the user has an indication of why and where we died. |
| 258 | // |
| 259 | // 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] | 260 | // doesn't demangle symbols. |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 261 | void llvm::sys::PrintStackTrace(FILE *FD) { |
Benjamin Kramer | 5651cbd | 2012-09-28 10:10:46 +0000 | [diff] [blame] | 262 | #if defined(HAVE_BACKTRACE) && defined(ENABLE_BACKTRACES) |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 263 | static void* StackTrace[256]; |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 264 | // Use backtrace() to output a backtrace on Linux systems with glibc. |
Evan Cheng | 86cb318 | 2008-05-05 18:30:58 +0000 | [diff] [blame] | 265 | int depth = backtrace(StackTrace, |
| 266 | static_cast<int>(array_lengthof(StackTrace))); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 267 | #if HAVE_DLFCN_H && __GNUG__ |
| 268 | int width = 0; |
| 269 | for (int i = 0; i < depth; ++i) { |
| 270 | Dl_info dlinfo; |
| 271 | dladdr(StackTrace[i], &dlinfo); |
Dan Gohman | 1f517dd | 2009-02-10 17:56:28 +0000 | [diff] [blame] | 272 | const char* name = strrchr(dlinfo.dli_fname, '/'); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 273 | |
| 274 | int nwidth; |
| 275 | if (name == NULL) nwidth = strlen(dlinfo.dli_fname); |
| 276 | else nwidth = strlen(name) - 1; |
| 277 | |
| 278 | if (nwidth > width) width = nwidth; |
| 279 | } |
| 280 | |
| 281 | for (int i = 0; i < depth; ++i) { |
| 282 | Dl_info dlinfo; |
| 283 | dladdr(StackTrace[i], &dlinfo); |
| 284 | |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 285 | fprintf(FD, "%-2d", i); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 286 | |
Dan Gohman | 1f517dd | 2009-02-10 17:56:28 +0000 | [diff] [blame] | 287 | const char* name = strrchr(dlinfo.dli_fname, '/'); |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 288 | if (name == NULL) fprintf(FD, " %-*s", width, dlinfo.dli_fname); |
| 289 | else fprintf(FD, " %-*s", width, name+1); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 290 | |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 291 | fprintf(FD, " %#0*lx", |
Dan Gohman | 35e2cfc | 2008-12-05 23:39:24 +0000 | [diff] [blame] | 292 | (int)(sizeof(void*) * 2) + 2, (unsigned long)StackTrace[i]); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 293 | |
| 294 | if (dlinfo.dli_sname != NULL) { |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 295 | fputc(' ', FD); |
Joerg Sonnenberger | 6624183 | 2013-04-27 22:12:32 +0000 | [diff] [blame] | 296 | # if HAVE_CXXABI_H |
Benjamin Kramer | 83e2a44 | 2013-04-28 07:47:04 +0000 | [diff] [blame^] | 297 | int res; |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 298 | char* d = abi::__cxa_demangle(dlinfo.dli_sname, NULL, NULL, &res); |
Joerg Sonnenberger | 6624183 | 2013-04-27 22:12:32 +0000 | [diff] [blame] | 299 | # else |
| 300 | char* d = NULL; |
| 301 | # endif |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 302 | if (d == NULL) fputs(dlinfo.dli_sname, FD); |
| 303 | else fputs(d, FD); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 304 | free(d); |
| 305 | |
Edwin Vane | 44338e0 | 2013-01-28 19:34:42 +0000 | [diff] [blame] | 306 | // FIXME: When we move to C++11, use %t length modifier. It's not in |
| 307 | // C++03 and causes gcc to issue warnings. Losing the upper 32 bits of |
| 308 | // the stack offset for a stack dump isn't likely to cause any problems. |
| 309 | fprintf(FD, " + %u",(unsigned)((char*)StackTrace[i]- |
| 310 | (char*)dlinfo.dli_saddr)); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 311 | } |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 312 | fputc('\n', FD); |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 313 | } |
| 314 | #else |
Lauro Ramos Venancio | eab51d3 | 2008-02-15 18:05:54 +0000 | [diff] [blame] | 315 | backtrace_symbols_fd(StackTrace, depth, STDERR_FILENO); |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 316 | #endif |
Dan Gohman | 7f079aa | 2008-12-05 20:12:48 +0000 | [diff] [blame] | 317 | #endif |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 318 | } |
| 319 | |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 320 | static void PrintStackTraceSignalHandler(void *) { |
| 321 | PrintStackTrace(stderr); |
| 322 | } |
| 323 | |
NAKAMURA Takumi | 8a54d81 | 2012-09-06 03:01:43 +0000 | [diff] [blame] | 324 | /// PrintStackTraceOnErrorSignal - When an error signal (such as SIGABRT or |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 325 | /// SIGSEGV) is delivered to the process, print a stack trace and then exit. |
Chris Lattner | bb1ba7b | 2009-03-08 19:13:45 +0000 | [diff] [blame] | 326 | void llvm::sys::PrintStackTraceOnErrorSignal() { |
Argyrios Kyrtzidis | eb9ae76 | 2013-01-09 19:42:40 +0000 | [diff] [blame] | 327 | AddSignalHandler(PrintStackTraceSignalHandler, 0); |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 328 | |
| 329 | #if defined(__APPLE__) |
| 330 | // Environment variable to disable any kind of crash dialog. |
| 331 | if (getenv("LLVM_DISABLE_CRASH_REPORT")) { |
| 332 | mach_port_t self = mach_task_self(); |
| 333 | |
| 334 | exception_mask_t mask = EXC_MASK_CRASH; |
| 335 | |
NAKAMURA Takumi | ffa1571 | 2012-09-06 03:02:56 +0000 | [diff] [blame] | 336 | kern_return_t ret = task_set_exception_ports(self, |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 337 | mask, |
Jean-Daniel Dupas | a573b22 | 2012-03-24 22:17:50 +0000 | [diff] [blame] | 338 | MACH_PORT_NULL, |
NAKAMURA Takumi | ffa1571 | 2012-09-06 03:02:56 +0000 | [diff] [blame] | 339 | EXCEPTION_STATE_IDENTITY | MACH_EXCEPTION_CODES, |
Jean-Daniel Dupas | a573b22 | 2012-03-24 22:17:50 +0000 | [diff] [blame] | 340 | THREAD_STATE_NONE); |
Argyrios Kyrtzidis | cd8fe08 | 2012-01-11 20:53:25 +0000 | [diff] [blame] | 341 | (void)ret; |
| 342 | } |
| 343 | #endif |
Reid Spencer | 3d7a614 | 2004-08-29 19:22:48 +0000 | [diff] [blame] | 344 | } |
Chris Lattner | 4fdd042 | 2009-03-04 21:21:36 +0000 | [diff] [blame] | 345 | |
Daniel Dunbar | f14d946 | 2010-08-19 23:45:39 +0000 | [diff] [blame] | 346 | |
| 347 | /***/ |
| 348 | |
| 349 | // On Darwin, raise sends a signal to the main thread instead of the current |
| 350 | // thread. This has the unfortunate effect that assert() and abort() will end up |
| 351 | // bypassing our crash recovery attempts. We work around this for anything in |
| 352 | // the same linkage unit by just defining our own versions of the assert handler |
| 353 | // and abort. |
| 354 | |
| 355 | #ifdef __APPLE__ |
| 356 | |
Douglas Gregor | 0e50682 | 2011-04-29 16:12:17 +0000 | [diff] [blame] | 357 | #include <signal.h> |
| 358 | #include <pthread.h> |
| 359 | |
Daniel Dunbar | 18456f3 | 2010-09-22 17:46:10 +0000 | [diff] [blame] | 360 | int raise(int sig) { |
Daniel Dunbar | cc0e18d | 2010-10-08 18:31:34 +0000 | [diff] [blame] | 361 | return pthread_kill(pthread_self(), sig); |
Daniel Dunbar | 18456f3 | 2010-09-22 17:46:10 +0000 | [diff] [blame] | 362 | } |
| 363 | |
Daniel Dunbar | f14d946 | 2010-08-19 23:45:39 +0000 | [diff] [blame] | 364 | void __assert_rtn(const char *func, |
| 365 | const char *file, |
| 366 | int line, |
| 367 | const char *expr) { |
| 368 | if (func) |
| 369 | fprintf(stderr, "Assertion failed: (%s), function %s, file %s, line %d.\n", |
| 370 | expr, func, file, line); |
| 371 | else |
| 372 | fprintf(stderr, "Assertion failed: (%s), file %s, line %d.\n", |
| 373 | expr, file, line); |
| 374 | abort(); |
| 375 | } |
| 376 | |
Daniel Dunbar | f14d946 | 2010-08-19 23:45:39 +0000 | [diff] [blame] | 377 | void abort() { |
Daniel Dunbar | 18456f3 | 2010-09-22 17:46:10 +0000 | [diff] [blame] | 378 | raise(SIGABRT); |
Daniel Dunbar | f14d946 | 2010-08-19 23:45:39 +0000 | [diff] [blame] | 379 | usleep(1000); |
| 380 | __builtin_trap(); |
| 381 | } |
| 382 | |
| 383 | #endif |