Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 1 | //===- ErrorHandler.h -------------------------------------------*- C++ -*-===// |
| 2 | // |
Andrew Walbran | 16937d0 | 2019-10-22 13:54:20 +0100 | [diff] [blame] | 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 |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
Andrew Scull | cdfcccc | 2018-10-05 20:58:37 +0100 | [diff] [blame] | 9 | // We designed lld's error handlers with the following goals in mind: |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 10 | // |
Andrew Scull | cdfcccc | 2018-10-05 20:58:37 +0100 | [diff] [blame] | 11 | // - Errors can occur at any place where we handle user input, but we don't |
| 12 | // want them to affect the normal execution path too much. Ideally, |
| 13 | // handling errors should be as simple as reporting them and exit (but |
| 14 | // without actually doing exit). |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 15 | // |
Andrew Scull | cdfcccc | 2018-10-05 20:58:37 +0100 | [diff] [blame] | 16 | // In particular, the design to wrap all functions that could fail with |
| 17 | // ErrorOr<T> is rejected because otherwise we would have to wrap a large |
| 18 | // number of functions in lld with ErrorOr. With that approach, if some |
| 19 | // function F can fail, not only F but all functions that transitively call |
| 20 | // F have to be wrapped with ErrorOr. That seemed too much. |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 21 | // |
Andrew Scull | cdfcccc | 2018-10-05 20:58:37 +0100 | [diff] [blame] | 22 | // - Finding only one error at a time is not sufficient. We want to find as |
| 23 | // many errors as possible with one execution of the linker. That means the |
| 24 | // linker needs to keep running after a first error and give up at some |
| 25 | // checkpoint (beyond which it would find cascading, false errors caused by |
| 26 | // the previous errors). |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 27 | // |
Andrew Scull | cdfcccc | 2018-10-05 20:58:37 +0100 | [diff] [blame] | 28 | // - We want a simple interface to report errors. Unlike Clang, the data we |
| 29 | // handle is compiled binary, so we don't need an error reporting mechanism |
| 30 | // that's as sophisticated as the one that Clang has. |
| 31 | // |
| 32 | // The current lld's error handling mechanism is simple: |
| 33 | // |
| 34 | // - When you find an error, report it using error() and continue as far as |
| 35 | // you can. An internal error counter is incremented by one every time you |
| 36 | // call error(). |
| 37 | // |
| 38 | // A common idiom to handle an error is calling error() and then returning |
| 39 | // a reasonable default value. For example, if your function handles a |
| 40 | // user-supplied alignment value, and if you find an invalid alignment |
| 41 | // (e.g. 17 which is not 2^n), you may report it using error() and continue |
| 42 | // as if it were alignment 1 (which is the simplest reasonable value). |
| 43 | // |
| 44 | // Note that you should not continue with an invalid value; that breaks the |
| 45 | // internal consistency. You need to maintain all variables have some sane |
| 46 | // value even after an error occurred. So, when you have to continue with |
| 47 | // some value, always use a dummy value. |
| 48 | // |
| 49 | // - Find a reasonable checkpoint at where you want to stop the linker, and |
| 50 | // add code to return from the function if errorCount() > 0. In most cases, |
| 51 | // a checkpoint already exists, so you don't need to do anything for this. |
| 52 | // |
| 53 | // This interface satisfies all the goals that we mentioned above. |
| 54 | // |
| 55 | // You should never call fatal() except for reporting a corrupted input file. |
| 56 | // fatal() immediately terminates the linker, so the function is not desirable |
| 57 | // if you are using lld as a subroutine in other program, and with that you |
| 58 | // can find only one error at a time. |
| 59 | // |
| 60 | // warn() doesn't do anything but printing out a given message. |
| 61 | // |
| 62 | // It is not recommended to use llvm::outs() or llvm::errs() directly in lld |
| 63 | // because they are not thread-safe. The functions declared in this file are |
| 64 | // thread-safe. |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 65 | // |
| 66 | //===----------------------------------------------------------------------===// |
| 67 | |
| 68 | #ifndef LLD_COMMON_ERRORHANDLER_H |
| 69 | #define LLD_COMMON_ERRORHANDLER_H |
| 70 | |
| 71 | #include "lld/Common/LLVM.h" |
| 72 | |
| 73 | #include "llvm/ADT/STLExtras.h" |
| 74 | #include "llvm/Support/Error.h" |
| 75 | #include "llvm/Support/FileOutputBuffer.h" |
| 76 | |
Andrew Scull | cdfcccc | 2018-10-05 20:58:37 +0100 | [diff] [blame] | 77 | namespace llvm { |
| 78 | class DiagnosticInfo; |
| 79 | } |
| 80 | |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 81 | namespace lld { |
| 82 | |
| 83 | class ErrorHandler { |
| 84 | public: |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 85 | uint64_t errorCount = 0; |
| 86 | uint64_t errorLimit = 20; |
| 87 | StringRef errorLimitExceededMsg = "too many errors emitted, stopping now"; |
| 88 | StringRef logName = "lld"; |
| 89 | llvm::raw_ostream *errorOS = &llvm::errs(); |
| 90 | bool colorDiagnostics = llvm::errs().has_colors(); |
| 91 | bool exitEarly = true; |
| 92 | bool fatalWarnings = false; |
| 93 | bool verbose = false; |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 94 | |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 95 | void error(const Twine &msg); |
| 96 | LLVM_ATTRIBUTE_NORETURN void fatal(const Twine &msg); |
| 97 | void log(const Twine &msg); |
| 98 | void message(const Twine &msg); |
| 99 | void warn(const Twine &msg); |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 100 | |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 101 | std::unique_ptr<llvm::FileOutputBuffer> outputBuffer; |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 102 | |
| 103 | private: |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 104 | void print(StringRef s, raw_ostream::Colors c); |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 105 | }; |
| 106 | |
| 107 | /// Returns the default error handler. |
| 108 | ErrorHandler &errorHandler(); |
| 109 | |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 110 | inline void error(const Twine &msg) { errorHandler().error(msg); } |
| 111 | inline LLVM_ATTRIBUTE_NORETURN void fatal(const Twine &msg) { |
| 112 | errorHandler().fatal(msg); |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 113 | } |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 114 | inline void log(const Twine &msg) { errorHandler().log(msg); } |
| 115 | inline void message(const Twine &msg) { errorHandler().message(msg); } |
| 116 | inline void warn(const Twine &msg) { errorHandler().warn(msg); } |
| 117 | inline uint64_t errorCount() { return errorHandler().errorCount; } |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 118 | |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 119 | LLVM_ATTRIBUTE_NORETURN void exitLld(int val); |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 120 | |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 121 | void diagnosticHandler(const llvm::DiagnosticInfo &di); |
| 122 | void checkError(Error e); |
Andrew Scull | cdfcccc | 2018-10-05 20:58:37 +0100 | [diff] [blame] | 123 | |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 124 | // check functions are convenient functions to strip errors |
| 125 | // from error-or-value objects. |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 126 | template <class T> T check(ErrorOr<T> e) { |
| 127 | if (auto ec = e.getError()) |
| 128 | fatal(ec.message()); |
| 129 | return std::move(*e); |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 130 | } |
| 131 | |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 132 | template <class T> T check(Expected<T> e) { |
| 133 | if (!e) |
| 134 | fatal(llvm::toString(e.takeError())); |
| 135 | return std::move(*e); |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 136 | } |
| 137 | |
| 138 | template <class T> |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 139 | T check2(ErrorOr<T> e, llvm::function_ref<std::string()> prefix) { |
| 140 | if (auto ec = e.getError()) |
| 141 | fatal(prefix() + ": " + ec.message()); |
| 142 | return std::move(*e); |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 143 | } |
| 144 | |
| 145 | template <class T> |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 146 | T check2(Expected<T> e, llvm::function_ref<std::string()> prefix) { |
| 147 | if (!e) |
| 148 | fatal(prefix() + ": " + toString(e.takeError())); |
| 149 | return std::move(*e); |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 150 | } |
| 151 | |
Andrew Walbran | 3d2c197 | 2020-04-07 12:24:26 +0100 | [diff] [blame^] | 152 | inline std::string toString(const Twine &s) { return s.str(); } |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 153 | |
| 154 | // To evaluate the second argument lazily, we use C macro. |
Andrew Scull | 0372a57 | 2018-11-16 15:47:06 +0000 | [diff] [blame] | 155 | #define CHECK(E, S) check2((E), [&] { return toString(S); }) |
Andrew Scull | 5e1ddfa | 2018-08-14 10:06:54 +0100 | [diff] [blame] | 156 | |
| 157 | } // namespace lld |
| 158 | |
| 159 | #endif |