Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===- llvm/Support/ErrorHandling.h - Fatal error handling ------*- C++ -*-===// |
2 | // |
||
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
4 | // See https://llvm.org/LICENSE.txt for license information. |
||
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
6 | // |
||
7 | //===----------------------------------------------------------------------===// |
||
8 | // |
||
9 | // This file defines an API used to indicate fatal error conditions. Non-fatal |
||
10 | // errors (most of them) should be handled through LLVMContext. |
||
11 | // |
||
12 | //===----------------------------------------------------------------------===// |
||
13 | |||
14 | #ifndef LLVM_SUPPORT_ERRORHANDLING_H |
||
15 | #define LLVM_SUPPORT_ERRORHANDLING_H |
||
16 | |||
17 | #include "llvm/Support/Compiler.h" |
||
18 | |||
19 | namespace llvm { |
||
20 | class StringRef; |
||
21 | class Twine; |
||
22 | |||
23 | /// An error handler callback. |
||
24 | typedef void (*fatal_error_handler_t)(void *user_data, |
||
25 | const char *reason, |
||
26 | bool gen_crash_diag); |
||
27 | |||
28 | /// install_fatal_error_handler - Installs a new error handler to be used |
||
29 | /// whenever a serious (non-recoverable) error is encountered by LLVM. |
||
30 | /// |
||
31 | /// If no error handler is installed the default is to print the error message |
||
32 | /// to stderr, and call exit(1). If an error handler is installed then it is |
||
33 | /// the handler's responsibility to log the message, it will no longer be |
||
34 | /// printed to stderr. If the error handler returns, then exit(1) will be |
||
35 | /// called. |
||
36 | /// |
||
37 | /// It is dangerous to naively use an error handler which throws an exception. |
||
38 | /// Even though some applications desire to gracefully recover from arbitrary |
||
39 | /// faults, blindly throwing exceptions through unfamiliar code isn't a way to |
||
40 | /// achieve this. |
||
41 | /// |
||
42 | /// \param user_data - An argument which will be passed to the install error |
||
43 | /// handler. |
||
44 | void install_fatal_error_handler(fatal_error_handler_t handler, |
||
45 | void *user_data = nullptr); |
||
46 | |||
47 | /// Restores default error handling behaviour. |
||
48 | void remove_fatal_error_handler(); |
||
49 | |||
50 | /// ScopedFatalErrorHandler - This is a simple helper class which just |
||
51 | /// calls install_fatal_error_handler in its constructor and |
||
52 | /// remove_fatal_error_handler in its destructor. |
||
53 | struct ScopedFatalErrorHandler { |
||
54 | explicit ScopedFatalErrorHandler(fatal_error_handler_t handler, |
||
55 | void *user_data = nullptr) { |
||
56 | install_fatal_error_handler(handler, user_data); |
||
57 | } |
||
58 | |||
59 | ~ScopedFatalErrorHandler() { remove_fatal_error_handler(); } |
||
60 | }; |
||
61 | |||
62 | /// Reports a serious error, calling any installed error handler. These |
||
63 | /// functions are intended to be used for error conditions which are outside |
||
64 | /// the control of the compiler (I/O errors, invalid user input, etc.) |
||
65 | /// |
||
66 | /// If no error handler is installed the default is to print the message to |
||
67 | /// standard error, followed by a newline. |
||
68 | /// After the error handler is called this function will call abort(), it |
||
69 | /// does not return. |
||
70 | /// NOTE: The std::string variant was removed to avoid a <string> dependency. |
||
71 | [[noreturn]] void report_fatal_error(const char *reason, |
||
72 | bool gen_crash_diag = true); |
||
73 | [[noreturn]] void report_fatal_error(StringRef reason, |
||
74 | bool gen_crash_diag = true); |
||
75 | [[noreturn]] void report_fatal_error(const Twine &reason, |
||
76 | bool gen_crash_diag = true); |
||
77 | |||
78 | /// Installs a new bad alloc error handler that should be used whenever a |
||
79 | /// bad alloc error, e.g. failing malloc/calloc, is encountered by LLVM. |
||
80 | /// |
||
81 | /// The user can install a bad alloc handler, in order to define the behavior |
||
82 | /// in case of failing allocations, e.g. throwing an exception. Note that this |
||
83 | /// handler must not trigger any additional allocations itself. |
||
84 | /// |
||
85 | /// If no error handler is installed the default is to print the error message |
||
86 | /// to stderr, and call exit(1). If an error handler is installed then it is |
||
87 | /// the handler's responsibility to log the message, it will no longer be |
||
88 | /// printed to stderr. If the error handler returns, then exit(1) will be |
||
89 | /// called. |
||
90 | /// |
||
91 | /// |
||
92 | /// \param user_data - An argument which will be passed to the installed error |
||
93 | /// handler. |
||
94 | void install_bad_alloc_error_handler(fatal_error_handler_t handler, |
||
95 | void *user_data = nullptr); |
||
96 | |||
97 | /// Restores default bad alloc error handling behavior. |
||
98 | void remove_bad_alloc_error_handler(); |
||
99 | |||
100 | void install_out_of_memory_new_handler(); |
||
101 | |||
102 | /// Reports a bad alloc error, calling any user defined bad alloc |
||
103 | /// error handler. In contrast to the generic 'report_fatal_error' |
||
104 | /// functions, this function might not terminate, e.g. the user |
||
105 | /// defined error handler throws an exception, but it won't return. |
||
106 | /// |
||
107 | /// Note: When throwing an exception in the bad alloc handler, make sure that |
||
108 | /// the following unwind succeeds, e.g. do not trigger additional allocations |
||
109 | /// in the unwind chain. |
||
110 | /// |
||
111 | /// If no error handler is installed (default), throws a bad_alloc exception |
||
112 | /// if LLVM is compiled with exception support. Otherwise prints the error |
||
113 | /// to standard error and calls abort(). |
||
114 | [[noreturn]] void report_bad_alloc_error(const char *Reason, |
||
115 | bool GenCrashDiag = true); |
||
116 | |||
117 | /// This function calls abort(), and prints the optional message to stderr. |
||
118 | /// Use the llvm_unreachable macro (that adds location info), instead of |
||
119 | /// calling this function directly. |
||
120 | [[noreturn]] void |
||
121 | llvm_unreachable_internal(const char *msg = nullptr, const char *file = nullptr, |
||
122 | unsigned line = 0); |
||
123 | } |
||
124 | |||
125 | /// Marks that the current location is not supposed to be reachable. |
||
126 | /// In !NDEBUG builds, prints the message and location info to stderr. |
||
127 | /// In NDEBUG builds, if the platform does not support a builtin unreachable |
||
128 | /// then we call an internal LLVM runtime function. Otherwise the behavior is |
||
129 | /// controlled by the CMake flag |
||
130 | /// -DLLVM_UNREACHABLE_OPTIMIZE |
||
131 | /// * When "ON" (default) llvm_unreachable() becomes an optimizer hint |
||
132 | /// that the current location is not supposed to be reachable: the hint |
||
133 | /// turns such code path into undefined behavior. On compilers that don't |
||
134 | /// support such hints, prints a reduced message instead and aborts the |
||
135 | /// program. |
||
136 | /// * When "OFF", a builtin_trap is emitted instead of an |
||
137 | // optimizer hint or printing a reduced message. |
||
138 | /// |
||
139 | /// Use this instead of assert(0). It conveys intent more clearly, suppresses |
||
140 | /// diagnostics for unreachable code paths, and allows compilers to omit |
||
141 | /// unnecessary code. |
||
142 | #ifndef NDEBUG |
||
143 | #define llvm_unreachable(msg) \ |
||
144 | ::llvm::llvm_unreachable_internal(msg, __FILE__, __LINE__) |
||
145 | #elif !defined(LLVM_BUILTIN_UNREACHABLE) |
||
146 | #define llvm_unreachable(msg) ::llvm::llvm_unreachable_internal() |
||
147 | #elif LLVM_UNREACHABLE_OPTIMIZE |
||
148 | #define llvm_unreachable(msg) LLVM_BUILTIN_UNREACHABLE |
||
149 | #else |
||
150 | #define llvm_unreachable(msg) \ |
||
151 | do { \ |
||
152 | LLVM_BUILTIN_TRAP; \ |
||
153 | LLVM_BUILTIN_UNREACHABLE; \ |
||
154 | } while (false) |
||
155 | #endif |
||
156 | |||
157 | #endif |